From 05ec067138e21efcbcf7efe6021636ba5db9a52a Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Mon, 21 Aug 2006 08:41:29 +0000 Subject: [PATCH] ... --- helm/software/matita/tests/TPTP/fetch_results_tptp.lua | 2 +- .../matita/tests/TPTP/unit_equality_problems.txt | 10 ---------- 2 files changed, 1 insertion(+), 11 deletions(-) diff --git a/helm/software/matita/tests/TPTP/fetch_results_tptp.lua b/helm/software/matita/tests/TPTP/fetch_results_tptp.lua index 886e02336..87aa91a98 100755 --- a/helm/software/matita/tests/TPTP/fetch_results_tptp.lua +++ b/helm/software/matita/tests/TPTP/fetch_results_tptp.lua @@ -36,7 +36,7 @@ function main(argv) local f = io.open(logfilename,"w") f:write(data) f:close() - os.execute("gzip "..logfilename) + os.execute("gzip -f "..logfilename) end end diff --git a/helm/software/matita/tests/TPTP/unit_equality_problems.txt b/helm/software/matita/tests/TPTP/unit_equality_problems.txt index c394ddd95..c296865bd 100644 --- a/helm/software/matita/tests/TPTP/unit_equality_problems.txt +++ b/helm/software/matita/tests/TPTP/unit_equality_problems.txt @@ -99,14 +99,6 @@ COL002-1 COL002-4 COL002-5 COL003-1 -COL003-1 -COL003-1 -COL003-1 -COL003-1 -COL003-1 -COL003-1 -COL003-1 -COL003-1 COL003-2 COL004-1 COL004-3 @@ -199,8 +191,6 @@ COL064-6 COL064-7 COL064-8 COL064-9 -COL064-1 -COL064-1 COL065-1 COL066-1 COL066-2 -- 2.39.2