From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Mon, 21 Aug 2006 08:41:29 +0000 (+0000)
Subject: ...
X-Git-Tag: 0.4.95@7852~1128
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=d343c00b65aab7021e7e9a53bd52cd9b80d2c079;p=helm.git

...
---

diff --git a/matita/tests/TPTP/fetch_results_tptp.lua b/matita/tests/TPTP/fetch_results_tptp.lua
index 886e02336..87aa91a98 100755
--- a/matita/tests/TPTP/fetch_results_tptp.lua
+++ b/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/matita/tests/TPTP/unit_equality_problems.txt b/matita/tests/TPTP/unit_equality_problems.txt
index c394ddd95..c296865bd 100644
--- a/matita/tests/TPTP/unit_equality_problems.txt
+++ b/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