From b006f10e7d591417844ffa1f04eeb926d6092d7b Mon Sep 17 00:00:00 2001 From: Hugo Herbelin Date: Wed, 20 Aug 2014 22:30:37 +0200 Subject: Uniformisation of the order of arguments env and sigma. --- plugins/firstorder/instances.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'plugins/firstorder') diff --git a/plugins/firstorder/instances.ml b/plugins/firstorder/instances.ml index 6fd934654..2987ce60a 100644 --- a/plugins/firstorder/instances.ml +++ b/plugins/firstorder/instances.ml @@ -127,7 +127,7 @@ let mk_open_instance id idc gl m t= GLambda(loc,name,k,GHole (Loc.ghost,Evar_kinds.BinderType name,None),t1) | _-> anomaly (Pp.str "can't happen") in let ntt=try - fst (Pretyping.understand evmap env (raux m rawt))(*FIXME*) + fst (Pretyping.understand env evmap (raux m rawt))(*FIXME*) with e when Errors.noncritical e -> error "Untypable instance, maybe higher-order non-prenex quantification" in decompose_lam_n_assum m ntt -- cgit v1.2.3