From 06be761e92019b9dac1ccd52300b0d9f3a6aef13 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Thu, 18 Sep 2008 10:31:20 +0000
Subject: [PATCH] fixed script

---
 helm/software/matita/tests/TPTP/Veloci/COL085-1.p.ma | 8 ++------
 1 file changed, 2 insertions(+), 6 deletions(-)

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.
 (* -------------------------------------------------------------------------- *)
-- 
2.39.2