From ce6bbd05b7d741750228956a7e045cb202ec0e74 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Thu, 2 Apr 2015 18:41:09 +0200
Subject: Some dead code.

---
 pretyping/evarconv.ml | 7 -------
 1 file changed, 7 deletions(-)

diff --git a/pretyping/evarconv.ml b/pretyping/evarconv.ml
index f388f90057..97b1b16455 100644
--- a/pretyping/evarconv.ml
+++ b/pretyping/evarconv.ml
@@ -201,13 +201,6 @@ let ise_and evd l =
 	| UnifFailure _ as x -> x in
   ise_and evd l
 
-(* This function requires to get the outermost arguments first.  It is
-   a fold_right for backward compatibility.
-
-   It tries to unify the suffix of 2 lists element by element and if
-   it reaches the end of a list, it returns the remaining elements in
-   the other list if there are some.
-*)
 let ise_exact ise x1 x2 =
   match ise x1 x2 with
   | None, out -> out
-- 
cgit v1.2.3