From 4c8044176de5dd8b1367af419eb5998f7c51bcbb Mon Sep 17 00:00:00 2001 From: Josh Berdine Date: Sun, 7 Oct 2012 00:31:55 +0100 Subject: [PATCH] clean .z3-trace --- ml/cleantmp.cmd | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ml/cleantmp.cmd b/ml/cleantmp.cmd index 6d4e12849..257e26a96 100644 --- a/ml/cleantmp.cmd +++ b/ml/cleantmp.cmd @@ -9,7 +9,7 @@ REM files produced by compile_mlapi.cmd del /q 2>NUL *.cmi *.cmo *.cmx *.cma *.cmxa *.obj *.lib *.pdb ocamlz3.exe REM files produced by test_mlapi.cmd -del /q 2>NUL test*.exe queen*.exe test_*api.out test_*apiV3.out test_*api.err test_*apiV3.err queen.out queen.err z3.log ml.log test_mlapi.log +del /q 2>NUL test*.exe queen*.exe test_*api.out test_*apiV3.out test_*api.err test_*apiV3.err queen.out queen.err z3.log ml.log test_mlapi.log .z3-trace REM backup files del /q 2>NUL *~