diff --git a/__init__.py b/__init__.py
index 0d4e3f1..7fc2bf3 100644
--- a/__init__.py
+++ b/__init__.py
@@ -1,4 +1,4 @@
 from stl.ast import terms_lens, lineq_lens, walk, tree, and_or_lens
 from stl.ast import dt_sym, t_sym
-from stl.ast import LinEq, Interval, NaryOpSTL, Or, And, F, G, ModalOp, Neg
+from stl.ast import LinEq, Interval, NaryOpSTL, Or, And, F, G, ModalOp, Neg, Var
 from stl.parser import parse