From cb290d81c46ec370e303e1414e203c40c8fa1174 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr>
Date: Sun, 1 Dec 2013 18:47:55 +0100
Subject: Removing RefArgType generic argument.

---
 lib/genarg.ml | 3 ---
 1 file changed, 3 deletions(-)

(limited to 'lib/genarg.ml')

diff --git a/lib/genarg.ml b/lib/genarg.ml
index 0f1e50568..6520669fa 100644
--- a/lib/genarg.ml
+++ b/lib/genarg.ml
@@ -14,7 +14,6 @@ type argument_type =
   | IntOrVarArgType
   | IdentArgType of bool
   | VarArgType
-  | RefArgType
   (* Specific types *)
   | GenArgType
   | ConstrArgType
@@ -33,7 +32,6 @@ let rec argument_type_eq arg1 arg2 = match arg1, arg2 with
 | IntOrVarArgType, IntOrVarArgType -> true
 | IdentArgType b1, IdentArgType b2 -> (b1 : bool) == b2
 | VarArgType, VarArgType -> true
-| RefArgType, RefArgType -> true
 | GenArgType, GenArgType -> true
 | ConstrArgType, ConstrArgType -> true
 | ConstrMayEvalArgType, ConstrMayEvalArgType -> true
@@ -54,7 +52,6 @@ let rec pr_argument_type = function
 | IdentArgType true -> str "ident"
 | IdentArgType false -> str "pattern_ident"
 | VarArgType -> str "var"
-| RefArgType -> str "ref"
 | GenArgType -> str "genarg"
 | ConstrArgType -> str "constr"
 | ConstrMayEvalArgType -> str "constr_may_eval"
-- 
cgit v1.2.3