SmtChecker class moved to legacy

2016-12-28 22:15:40 +01:00
parent 5e8417baf2
commit bd06d575f7
2 changed files with 1 additions and 1 deletions
--- a/smt/init.py
+++ b/smt/init.py
@@ -1,4 +1,4 @@
-from smt.smt_checker import SmtChecker
+#from smt.smt_checker import SmtChecker
 from smt.smt_checker_rs import SmtCheckerRS
 from smt.smt_checker_rsc import SmtCheckerRSC
 from smt.smt_checker_rs_na import SmtCheckerRSNA
--- a/smt/legacy/smt_checker.py
+++ b/smt/legacy/smt_checker.py