From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Thu, 18 Sep 2008 10:31:20 +0000 (+0000)
Subject: fixed script
X-Git-Tag: make_still_working~4774
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=06be761e92019b9dac1ccd52300b0d9f3a6aef13;p=helm.git

fixed script
---

diff --git a/helm/software/matita/tests/TPTP/Veloci/COL085-1.p.ma b/helm/software/matita/tests/TPTP/Veloci/COL085-1.p.ma
index 0e0cac71b..e693adf80 100644
--- a/helm/software/matita/tests/TPTP/Veloci/COL085-1.p.ma
+++ b/helm/software/matita/tests/TPTP/Veloci/COL085-1.p.ma
@@ -33,12 +33,8 @@ exists[
 2:
 exists[
 2:
-autobatch paramodulation timeout=100;
-try assumption.
-|
-skip]
-|
-skip]
+autobatch paramodulation timeout=100;]] 
+assumption.
 print proofterm.
 qed.
 (* -------------------------------------------------------------------------- *)