diff --git a/src/main/scala/lazabs/horn/HornWrapper.scala b/src/main/scala/lazabs/horn/HornWrapper.scala
index 7dcce80d..d23e6372 100644
--- a/src/main/scala/lazabs/horn/HornWrapper.scala
+++ b/src/main/scala/lazabs/horn/HornWrapper.scala
@@ -628,7 +628,7 @@ class SymexHornWrapper(unsimplifiedClauses   : Seq[Clause],
         "----------------------------------- SYMEX " +
           "--------------------------------------")
 
-      symex.printInfo = true
+      symex.printInfo = lazabs.GlobalParameters.get.log
       symex.solve()
     }