diff options
Diffstat (limited to 'examples/api/python/linear_arith.py')
-rw-r--r-- | examples/api/python/linear_arith.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/examples/api/python/linear_arith.py b/examples/api/python/linear_arith.py index f85171150..94ce730a3 100644 --- a/examples/api/python/linear_arith.py +++ b/examples/api/python/linear_arith.py @@ -33,8 +33,8 @@ if __name__ == "__main__": y = slv.mkConst(real, "y") # Constants - three = slv.mkReal(3) - neg2 = slv.mkReal(-2) + three = slv.mkInteger(3) + neg2 = slv.mkInteger(-2) two_thirds = slv.mkReal(2, 3) # Terms |