From: Andres Noetzli <andres.noetzli@gmail.com>
Date: Thu, 5 Apr 2018 18:06:26 +0000 (-0700)
Subject: Make Python bindings example compatible w/ Python3 (#1751)
X-Git-Tag: cvc5-1.0.0~5176
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=dc0e4a68281032194a7626050b8fbb74d3f5e183;p=cvc5.git

Make Python bindings example compatible w/ Python3 (#1751)
---

diff --git a/examples/SimpleVC.py b/examples/SimpleVC.py
index 18be0fdc0..4c21d35c0 100755
--- a/examples/SimpleVC.py
+++ b/examples/SimpleVC.py
@@ -53,9 +53,9 @@ def main():
 
   formula = Expr(em.mkExpr(CVC4.AND, x_positive, y_positive)).impExpr(Expr(twox_plus_y_geq_3))
 
-  print "Checking validity of formula " + formula.toString() + " with CVC4."
-  print "CVC4 should report VALID."
-  print "Result from CVC4 is: " + smt.query(formula).toString()
+  print("Checking validity of formula " + formula.toString() + " with CVC4.")
+  print("CVC4 should report VALID.")
+  print("Result from CVC4 is: " + smt.query(formula).toString())
 
   return 0