compiler wont create .anf files by default

diff --git a/src/Dyna/Backend/Python/dynac.py b/src/Dyna/Backend/Python/dynac.py
index 4816ee5cd281a4029b0e25b4b388aca38f0f1a4e..5785a9ff4b6611ed5125ee216122f6137205d98f 100644 (file)
--- 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