From 47741751ee6d1ac8d2e6f7bc8097ef34ef15db7f Mon Sep 17 00:00:00 2001
From: Artur Meski <artur.meski@gmail.com>
Date: Sun, 22 Sep 2019 16:36:41 +0100
Subject: [PATCH] SMT with no options

---
 reactics | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/reactics b/reactics
index 24ff54a..f6dfd67 100755
--- a/reactics
+++ b/reactics
@@ -21,7 +21,11 @@ elif [[ "$mode" == "smt" ]]
 then
  
   export PYTHONPATH="$PYTHONPATH:$REACTICS_SMT"
-  python3 $* 
+  if [[ "$*" != "" ]]
+    python3 $* 
+  else
+    echo "Nothing to do"
+  fi
   
 elif [[ "$mode" == "setup" ]]
 then