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

diff --git a/examples/SimpleVC.py b/examples/SimpleVC.py
index 18be0fdc09157c3df7cec608ac3e334e18d04dfe..4c21d35c063db3c528b7c196f2ab274bb1d4d3ea 100755 (executable)
--- 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