qbfsat: Move SMT2 info statements back to the top of the file.

diff --git a/backends/smt2/smtio.py b/backends/smt2/smtio.py
index 7cb1e8968fbad6ab7eafbeda9dafbbd69748627e..62dfe7c1156db87dbb2813d5b15ee9d8f415ccb4 100644 (file)
--- a/backends/smt2/smtio.py
+++ b/backends/smt2/smtio.py
@@ -236,6 +236,9 @@ class SmtIo:
 
         self.setup_done = True
 
+        for stmt in self.info_stmts:
+            self.write(stmt)
+
         if self.forall and self.solver == "yices":
             self.write("(set-option :yices-ef-max-iters 1000000000)")
 
@@ -244,9 +247,6 @@ class SmtIo:
 
         self.write("(set-logic %s)" % self.logic)
 
-        for stmt in self.info_stmts:
-            self.write(stmt)
-
     def timestamp(self):
         secs = int(time() - self.start_time)
         return "## %3d:%02d:%02d " % (secs // (60*60), (secs // 60) % 60, secs % 60)