From 9330bf650ca602884c5c4c69c2fb3e94ee32838b Mon Sep 17 00:00:00 2001
From: ppedrot <ppedrot@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Fri, 14 Dec 2012 09:26:08 +0000
Subject: Implemented a full-fledged equality on [constr_expr]. By the way,
 some cleaning of the interface and moving of code.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16066 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 interp/constrextern.mli | 2 --
 1 file changed, 2 deletions(-)

(limited to 'interp/constrextern.mli')

diff --git a/interp/constrextern.mli b/interp/constrextern.mli
index 91ad86381..0ca25656f 100644
--- a/interp/constrextern.mli
+++ b/interp/constrextern.mli
@@ -22,8 +22,6 @@ open Notation_term
 open Notation
 open Misctypes
 
-val is_same_type : constr_expr -> constr_expr -> bool
-
 (** Translation of pattern, cases pattern, glob_constr and term into syntax
    trees for printing *)
 
-- 
cgit v1.2.3