diff options
Diffstat (limited to 'examples/api/python/exceptions.py')
-rw-r--r-- | examples/api/python/exceptions.py | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/examples/api/python/exceptions.py b/examples/api/python/exceptions.py index c779390d9..a4597d12b 100644 --- a/examples/api/python/exceptions.py +++ b/examples/api/python/exceptions.py @@ -16,13 +16,13 @@ # A simple demonstration of catching cvc5 exceptions with the legacy Python API. ## -import pycvc4 -from pycvc4 import kinds +import pycvc5 +from pycvc5 import kinds import sys def main(): - slv = pycvc4.Solver() + slv = pycvc5.Solver() slv.setOption("produce-models", "true") |