From 8cf356224e08c872c6656eb7d2cf2c3422c6a2b2 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 22 Sep 2016 22:24:43 -0700
Subject: [PATCH] fix python for 3.x

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/api/python/z3test.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/api/python/z3test.py b/src/api/python/z3test.py
index 9c544f623..4554657e4 100644
--- a/src/api/python/z3test.py
+++ b/src/api/python/z3test.py
@@ -12,7 +12,7 @@ if len(sys.argv) < 2 or sys.argv[1] == 'z3':
 elif sys.argv[1] == 'z3num':
     r = doctest.testmod(z3.z3num)
 else:
-    print 'Usage: z3test.py (z3 | z3num)'
+    print('Usage: z3test.py (z3 | z3num)')
     sys.exit(1)
 
 if r.failed != 0: