diff options
Diffstat (limited to 'examples/api/python/strings.py')
| -rw-r--r-- | examples/api/python/strings.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/api/python/strings.py b/examples/api/python/strings.py index c007b4bb5..1e85c56bb 100644 --- a/examples/api/python/strings.py +++ b/examples/api/python/strings.py @@ -51,7 +51,7 @@ if __name__ == "__main__": # Length of y: |y| leny = slv.mkTerm(kinds.StringLength, y) # |y| >= 0 - formula2 = slv.mkTerm(kinds.Geq, leny, slv.mkReal(0)) + formula2 = slv.mkTerm(kinds.Geq, leny, slv.mkInteger(0)) # Regular expression: (ab[c-e]*f)|g|h r = slv.mkTerm(kinds.RegexpUnion, |