From 4658fcc5315ff90510a0e6ff7790156092ec44ce Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 2 Sep 2005 13:01:37 +0000
Subject: [PATCH] Unsharing removed since it is now used in Cic2acic.

---
 helm/matita/matitaEngine.ml | 2 --
 1 file changed, 2 deletions(-)

diff --git a/helm/matita/matitaEngine.ml b/helm/matita/matitaEngine.ml
index c2db06efa..3c54f5a1b 100644
--- a/helm/matita/matitaEngine.ml
+++ b/helm/matita/matitaEngine.ml
@@ -451,8 +451,6 @@ let generate_projections uri fields status =
      try 
       let ty, ugraph = 
         CicTypeChecker.type_of_aux' [] [] bo CicUniv.empty_ugraph in
-      let bo = Unshare.unshare bo in
-      let ty = Unshare.unshare ty in
       let attrs = [`Class `Projection; `Generated] in
       let obj = Cic.Constant (name,Some bo,ty,[],attrs) in
        MatitaSync.add_obj uri obj status
-- 
2.39.2