diff options
Diffstat (limited to 'examples/api/python/id.py')
| -rw-r--r-- | examples/api/python/id.py | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/examples/api/python/id.py b/examples/api/python/id.py index fb3672dbc..c7a2ed0bc 100644 --- a/examples/api/python/id.py +++ b/examples/api/python/id.py @@ -16,7 +16,6 @@ ## import pycvc5 -from pycvc5 import kinds if __name__ == "__main__": slv = pycvc5.Solver() |