From 5835804bd69a193b9ea29b6d4c8d0cc03530ccdd Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Fri, 18 Dec 2015 18:04:14 +0100
Subject: Removing ad-hoc interpretation rules for tactic notations and their
 genarg.

Now that types can share the same dynamic representation, we do not have
to transtype the topelvel values dynamically and just take advantage of
the standard interpretation function.
---
 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 89ea49ddb5..83ba1dd04d 100644
--- a/lib/genarg.mli
+++ b/lib/genarg.mli
@@ -201,12 +201,10 @@ val pair_val : (Val.t * Val.t) Val.tag
 
 type argument_type =
   (** Basic types *)
-  | IntOrVarArgType
   | IdentArgType
   | VarArgType
   (** Specific types *)
   | ConstrArgType
-  | ConstrMayEvalArgType
   | OpenConstrArgType
   | ListArgType of argument_type
   | OptArgType of argument_type
-- 
cgit v1.2.3