From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 16 Jun 2005 14:16:21 +0000 (+0000)
Subject: Dead code clean-up.
X-Git-Tag: INDEXING_NO_PROOFS~132
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=4bb57c04fbf22c267ccd416a8ba79f6d13c22302;p=helm.git

Dead code clean-up.
---

diff --git a/helm/matita/matitaEngine.ml b/helm/matita/matitaEngine.ml
index e5bb82786..a55930fa5 100644
--- a/helm/matita/matitaEngine.ml
+++ b/helm/matita/matitaEngine.ml
@@ -412,11 +412,6 @@ let disambiguate_obj status obj =
   in
   status, cic
   
-let disambiguate_closedtypes status terms =
-  let term = CicAst.pack terms in
-  let status, term = disambiguate_term status term in
-  status, CicUtil.unpack term
-  
 let disambiguate_tactic status = function
   | TacticAst.Transitivity (loc, term) -> 
       let status, cic = disambiguate_term status term in