From 631298df172c1e034d6898ff13d5d5aabb9a5098 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr>
Date: Thu, 19 Dec 2013 20:02:39 +0100
Subject: Removing the useless pattern ident genarg.

---
 lib/genarg.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib/genarg.mli')

diff --git a/lib/genarg.mli b/lib/genarg.mli
index 51c261742..f275b0d00 100644
--- a/lib/genarg.mli
+++ b/lib/genarg.mli
@@ -191,7 +191,7 @@ val app_pair :
 type argument_type =
   (** Basic types *)
   | IntOrVarArgType
-  | IdentArgType of bool
+  | IdentArgType
   | VarArgType
   (** Specific types *)
   | GenArgType
-- 
cgit v1.2.3