From: Tim Vieira <tim.f.vieira@gmail.com>
Date: Sun, 4 Aug 2013 16:42:44 +0000 (-0400)
Subject: compiler wont create .anf files by default
X-Git-Url: https://hydra-www.ietfng.org/gitweb/?a=commitdiff_plain;h=d81366689d3868825c4455adac249f426c16f04c;p=dyna2

compiler wont create .anf files by default
---

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