diff --git a/src/sat.sh b/src/sat.sh index 1d30ed0a..945807b4 100755 --- a/src/sat.sh +++ b/src/sat.sh @@ -20,6 +20,7 @@ NAME='sat' eval `python<