From 5adfbe885733f67b0d1f5f2a7d051d1a0c60b921 Mon Sep 17 00:00:00 2001 From: Nuno Lopes Date: Wed, 22 Oct 2014 21:57:57 +0100 Subject: [PATCH] Z3Py: Fix test output Signed-off-by: Nuno Lopes --- src/api/python/z3.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/api/python/z3.py b/src/api/python/z3.py index 470280630..f2318021f 100644 --- a/src/api/python/z3.py +++ b/src/api/python/z3.py @@ -38,7 +38,7 @@ Z3 exceptions: ... n = x + y ... except Z3Exception as ex: ... print("failed: %s" % ex) -failed: 'sort mismatch' +failed: sort mismatch """ from z3core import * from z3types import *