From a1596ac8127071db6c507909bd9723edc720542d Mon Sep 17 00:00:00 2001
From: ppedrot
Date: Thu, 27 Jun 2013 16:51:52 +0000
Subject: Getting rid of IntroPatternArgType.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16610 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 lib/genarg.ml  | 2 --
 lib/genarg.mli | 1 -
 2 files changed, 3 deletions(-)

(limited to 'lib')

diff --git a/lib/genarg.ml b/lib/genarg.ml
index dbde4652c7..77c8922a0a 100644
--- a/lib/genarg.ml
+++ b/lib/genarg.ml
@@ -12,7 +12,6 @@ open Util
 type argument_type =
   (* Basic types *)
   | IntOrVarArgType
-  | IntroPatternArgType
   | IdentArgType of bool
   | VarArgType
   | RefArgType
@@ -34,7 +33,6 @@ type argument_type =
 
 let rec argument_type_eq arg1 arg2 = match arg1, arg2 with
 | IntOrVarArgType, IntOrVarArgType -> true
-| IntroPatternArgType, IntroPatternArgType -> true
 | IdentArgType b1, IdentArgType b2 -> (b1 : bool) == b2
 | VarArgType, VarArgType -> true
 | RefArgType, RefArgType -> true
diff --git a/lib/genarg.mli b/lib/genarg.mli
index 14133fff03..d395136af7 100644
--- a/lib/genarg.mli
+++ b/lib/genarg.mli
@@ -181,7 +181,6 @@ val app_pair :
 type argument_type =
   (** Basic types *)
   | IntOrVarArgType
-  | IntroPatternArgType
   | IdentArgType of bool
   | VarArgType
   | RefArgType
-- 
cgit v1.2.3