From cb2f6a95ee72edb956f419a24f8385c8ae7f96f4 Mon Sep 17 00:00:00 2001 From: Pierre-Marie Pédrot Date: Mon, 28 Dec 2015 02:08:42 +0100 Subject: Removing the special status of open_constr generic argument. We also intepret it at toplevel as a true constr and push the resulting evarmap in the current state. --- lib/genarg.mli | 1 - 1 file changed, 1 deletion(-) (limited to 'lib/genarg.mli') diff --git a/lib/genarg.mli b/lib/genarg.mli index 090496093..674ee97ae 100644 --- a/lib/genarg.mli +++ b/lib/genarg.mli @@ -216,7 +216,6 @@ type argument_type = | VarArgType (** Specific types *) | ConstrArgType - | OpenConstrArgType | ListArgType of argument_type | OptArgType of argument_type | PairArgType of argument_type * argument_type -- cgit v1.2.3