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