From 870075f34dd9fa5792bfbf413afd3b96f17e76a0 Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Fri, 8 Aug 2008 13:18:42 +0200 Subject: Imported Upstream version 8.2~beta4+dfsg --- interp/topconstr.mli | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'interp/topconstr.mli') diff --git a/interp/topconstr.mli b/interp/topconstr.mli index d4fef0dc..2ac9da11 100644 --- a/interp/topconstr.mli +++ b/interp/topconstr.mli @@ -6,7 +6,7 @@ (* * GNU Lesser General Public License Version 2.1 *) (************************************************************************) -(*i $Id: topconstr.mli 11024 2008-05-30 12:41:39Z msozeau $ i*) +(*i $Id: topconstr.mli 11282 2008-07-28 11:51:53Z msozeau $ i*) (*i*) open Pp @@ -95,7 +95,7 @@ type notation = string type explicitation = ExplByPos of int * identifier option | ExplByName of identifier -type binder_kind = Default of binding_kind | TypeClass of binding_kind +type binder_kind = Default of binding_kind | TypeClass of binding_kind * binding_kind type proj_flag = int option (* [Some n] = proj of the n-th visible argument *) -- cgit v1.2.3