From d81366689d3868825c4455adac249f426c16f04c Mon Sep 17 00:00:00 2001
From: Tim Vieira <tim.f.vieira@gmail.com>
Date: Sun, 4 Aug 2013 12:42:44 -0400
Subject: [PATCH] compiler wont create .anf files by default

---
 src/Dyna/Backend/Python/dynac.py | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/src/Dyna/Backend/Python/dynac.py b/src/Dyna/Backend/Python/dynac.py
index 4816ee5..5785a9f 100644
--- a/src/Dyna/Backend/Python/dynac.py
+++ b/src/Dyna/Backend/Python/dynac.py
@@ -32,9 +32,7 @@ def dynac(f, out, anf=None, compiler_args=()):
     cmd = ['%s/dist/build/dyna/dyna' % dynahome,
            '-B', 'python', '-o', out, f]
 
-    if anf is None:
-        cmd += ['--dump-anf=' + out + '.anf']
-    else:
+    if anf is not None:
         cmd += ['--dump-anf=' + anf]
 
     cmd += compiler_args
-- 
2.50.1