1 files changed, 0 insertions, 0 deletions

diff --git a/bin/smt b/bin/smt
index eb687ff..eb687ff 100644..100755
--- a/bin/smt
+++ b/bin/smt