1 files changed, 2 insertions, 0 deletions
diff --git a/tools/reduce b/tools/reduce
index effb98d..c88b0ba 100755
--- a/tools/reduce
+++ b/tools/reduce
@@ -1,5 +1,7 @@
 #!/bin/sh
 
+set -e
+
 if [ "$#" -ne 2 ]; then
     echo "Usage: $0 <init> <expr>"
     echo ""