From 448866f0ec5291d58677d8fccbefde493ade0ee2 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr>
Date: Mon, 11 Jan 2016 22:20:16 +0100
Subject: Removing constr generic argument.

---
 lib/genarg.mli | 2 --
 1 file changed, 2 deletions(-)

(limited to 'lib/genarg.mli')

diff --git a/lib/genarg.mli b/lib/genarg.mli
index 8d929f9f6..56c09f14f 100644
--- a/lib/genarg.mli
+++ b/lib/genarg.mli
@@ -211,8 +211,6 @@ val val_cast : 'a typed_abstract_argument_type -> Val.t -> 'a
 (** {6 Type reification} *)
 
 type argument_type =
-  (** Basic types *)
-  | ConstrArgType
   (** Specific types *)
   | ListArgType of argument_type
   | OptArgType of argument_type
-- 
cgit v1.2.3