diff --git a/stl_parser.py b/stl_parser.py index 85e1886..fe624b0 100644 --- a/stl_parser.py +++ b/stl_parser.py @@ -20,7 +20,7 @@ from parsimonious import Grammar, NodeVisitor from funcy import flatten import numpy as np -from blustl import stl +from stl import stl STL_GRAMMAR = Grammar(u''' phi = (g / f / lineq / or / and / paren_phi)