diff --git a/libexec/klab-prove-all b/libexec/klab-prove-all
index 9dde72a3..adb3c6e2 100755
--- a/libexec/klab-prove-all
+++ b/libexec/klab-prove-all
@@ -122,6 +122,7 @@ do_proof () {
       cp "$GAS_DIR/${hash}.all.json" "$KLAB_REPORT_NAME_DIR"
     elif [ -n "$KLAB_REPORT_NAME_DIR" ]; then
       echo "${magenta}Proof ${bold}BADGAS${reset}: $hash [$name]"
+      rm -f "$KLAB_OUT/accept/$hash"
       savelogs "$hash"
     fi
     klab get-lemmas "$hash"