From bd06d575f743a2127eec69c7d3794c8bf29fde2f Mon Sep 17 00:00:00 2001
From: Artur Meski <artur@Arturs-MacBook-Pro.local>
Date: Wed, 28 Dec 2016 22:15:40 +0100
Subject: [PATCH] SmtChecker class moved to legacy

---
 smt/__init__.py                 | 2 +-
 smt/{ => legacy}/smt_checker.py | 0
 2 files changed, 1 insertion(+), 1 deletion(-)
 rename smt/{ => legacy}/smt_checker.py (100%)

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