From 785d106d742a690c88ff0d65fbe88ca4169dbd05 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Fri, 16 Jan 2009 13:37:56 +0000 Subject: [PATCH] ceommented out metasenv --- helm/software/components/cic_unification/cicUnification.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/software/components/cic_unification/cicUnification.ml b/helm/software/components/cic_unification/cicUnification.ml index 36c114d8f..52fdfa19a 100644 --- a/helm/software/components/cic_unification/cicUnification.ml +++ b/helm/software/components/cic_unification/cicUnification.ml @@ -953,7 +953,7 @@ let enrich_msg msg subst context metasenv t1 t2 ugraph = | Uncertain s | AssertFailure s -> sprintf "MALFORMED(t2): \n%s\n" (Lazy.force s)) (CicMetaSubst.ppcontext ~metasenv subst context) - (CicMetaSubst.ppmetasenv subst metasenv) + ("OMITTED" (*CicMetaSubst.ppmetasenv subst metasenv*)) (Lazy.force msg) ) -- 2.39.2