diff --git a/test/lit.cfg.py b/test/lit.cfg.py
index 6dca66ee1..78319bbbf 100644
--- a/test/lit.cfg.py
+++ b/test/lit.cfg.py
@@ -131,7 +131,7 @@ def one_line(s):
 
     ('%run-binary-out', 'rm -f %t.out.bin && %t.interpreter %test-input -1 %t.out.bin --binary-output'),
     ('%run-binary', 'rm -f %t.bin && %convert-input && %t.interpreter %t.bin -1 /dev/stdout'),
-    ('%run-proof-out', '%t.interpreter %test-input -1 %t.out.bin --proof-output'),
+    ('%run-proof-out', 'rm -f %t.out.bin && %t.interpreter %test-input -1 %t.out.bin --proof-output'),
     ('%run', '%t.interpreter %test-input -1 /dev/stdout'),
 
     ('%kprint-check', 'kprint %S %s true | diff - %s.out'),