From 6cf470f40af5b09cf794797bcd8caa71f70e783a Mon Sep 17 00:00:00 2001 From: Marcell Vazquez-Chanlatte Date: Mon, 11 Jul 2016 19:05:41 -0700 Subject: [PATCH] rename ast --- __init__.py | 6 +++--- stl.py => ast.py | 0 2 files changed, 3 insertions(+), 3 deletions(-) rename stl.py => ast.py (100%) diff --git a/__init__.py b/__init__.py index bc1ea87..0d4e3f1 100644 --- a/__init__.py +++ b/__init__.py @@ -1,4 +1,4 @@ -from stl.stl import terms_lens, lineq_lens, walk, tree, and_or_lens -from stl.stl import dt_sym, t_sym -from stl.stl import LinEq, Interval, NaryOpSTL, Or, And, F, G, ModalOp, Neg +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.parser import parse diff --git a/stl.py b/ast.py similarity index 100% rename from stl.py rename to ast.py