diff options
| -rw-r--r-- | contrib/jprover/jtunify.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/jprover/jtunify.ml b/contrib/jprover/jtunify.ml index 6a173e86d..2295e62ce 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 |