diff options
Diffstat (limited to 'test/unit/api/python/test_grammar.py')
-rw-r--r-- | test/unit/api/python/test_grammar.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/unit/api/python/test_grammar.py b/test/unit/api/python/test_grammar.py index db567a6ba..6225844e3 100644 --- a/test/unit/api/python/test_grammar.py +++ b/test/unit/api/python/test_grammar.py @@ -16,7 +16,7 @@ import pytest import pycvc5 -from pycvc5 import kinds, Term +from pycvc5 import Term @pytest.fixture |