From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Thu, 6 Nov 2008 14:04:21 +0000 (+0000)
Subject: removed empty lines
X-Git-Tag: make_still_working~4593
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=a338e0effc313d4da419d6df91397232c24170d9;p=helm.git

removed empty lines
---

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