From 87bf3be4d87b358279efb5622172031a49790bb0 Mon Sep 17 00:00:00 2001
From: corbinea
Date: Thu, 23 Oct 2003 11:00:41 +0000
Subject: Jprover bugfix (hopefully !)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4707 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 contrib/jprover/jtunify.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/contrib/jprover/jtunify.ml b/contrib/jprover/jtunify.ml
index 6a173e86d9..2295e62ce6 100644
--- a/contrib/jprover/jtunify.ml
+++ b/contrib/jprover/jtunify.ml
@@ -232,7 +232,7 @@ let rec apply_element fs ft (v,slist) =
 
 let rec shorten us ut =
    match (us,ut) with
-      ([],_) | (_,[])  -> raise jprover_bug
+      ([],_) | (_,[])  -> (us,ut) (*raise jprover_bug*)
     | ((fs::rs),(ft::rt)) ->
          if fs = ft then
             shorten rs rt
-- 
cgit v1.2.3