diff options
Diffstat (limited to 'examples/api/python/combination.py')
| -rw-r--r-- | examples/api/python/combination.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/examples/api/python/combination.py b/examples/api/python/combination.py index 253365c9d..ed3fe0be5 100644 --- a/examples/api/python/combination.py +++ b/examples/api/python/combination.py @@ -46,8 +46,8 @@ if __name__ == "__main__": p = slv.mkConst(intPred, "p") # Constants - zero = slv.mkReal(0) - one = slv.mkReal(1) + zero = slv.mkInteger(0) + one = slv.mkInteger(1) # Terms f_x = slv.mkTerm(kinds.ApplyUf, f, x) |