From a338e0effc313d4da419d6df91397232c24170d9 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Thu, 6 Nov 2008 14:04:21 +0000 Subject: [PATCH] removed empty lines --- helm/software/components/ng_refiner/nCicUnification.ml | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/helm/software/components/ng_refiner/nCicUnification.ml b/helm/software/components/ng_refiner/nCicUnification.ml index d5cf38922..0e119f34b 100644 --- a/helm/software/components/ng_refiner/nCicUnification.ml +++ b/helm/software/components/ng_refiner/nCicUnification.ml @@ -226,9 +226,7 @@ and instantiate test_eq_only metasenv subst context n lc t swap = in pp (lazy(string_of_int n ^ " := 222 = "^ NCicPp.ppterm ~metasenv ~subst ~context:ctx t - ^ "\n" ^ NCicPp.ppmetasenv ~subst metasenv - - )); + ^ "\n" ^ NCicPp.ppmetasenv ~subst metasenv)); (* Unifying the types may have already instantiated n. *) try let _, _,oldt,_ = NCicUtils.lookup_subst n subst in -- 2.39.2