Merge pull request #418 from pysmt/i416/script_serialize_daggify

Default SMT-LIB Script to daggified serialization
pysmt · Jul 25, 2017 · a085125 · a085125
2 parents ca2e836 + bac7051
commit a085125
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/pysmt/smtlib/script.py b/pysmt/smtlib/script.py
@@ -205,11 +205,11 @@ def get_last_formula(self, mgr=None):
 
         return _And(stack)
 
-    def to_file(self, fname, daggify=False):
+    def to_file(self, fname, daggify=True):
         with open(fname, "w") as outstream:
             self.serialize(outstream, daggify=daggify)
 
-    def serialize(self, outstream, daggify=False):
+    def serialize(self, outstream, daggify=True):
         """Serializes the SmtLibScript expanding commands"""
         if daggify:
             printer = SmtDagPrinter(outstream)