diff --git a/smt/__init__.py b/smt/__init__.py
index a8f6e2e..d4c1b71 100644
--- 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
diff --git a/smt/smt_checker.py b/smt/legacy/smt_checker.py
similarity index 100%
rename from smt/smt_checker.py
rename to smt/legacy/smt_checker.py