From 7d16ed9fdceb73af43843404834f8daee459f85d Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 23 Apr 2014 14:13:01 +0200
Subject: [PATCH] fix exception class in python API

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

diff --git a/src/api/python/z3printer.py b/src/api/python/z3printer.py
index d3dc43d3e..d1d85d30e 100644
--- a/src/api/python/z3printer.py
+++ b/src/api/python/z3printer.py
@@ -386,7 +386,7 @@ def seq3(args, lp='(', rp=')'):
     else:
         return group(indent(len(lp), compose(to_format(lp), seq(args), to_format(rp))))
 
-class StopPPException:
+class StopPPException(Exception):
     def __str__(self):
         return 'pp-interrupted'