Dead code clean-up.

[helm.git] / helm / matita / matitaEngine.ml

diff --git a/helm/matita/matitaEngine.ml b/helm/matita/matitaEngine.ml
index e5bb82786a3b742989a72746aa05f7971491f44c..a55930fa52299446a5e9167f1f521b5e6081302a 100644 (file)
--- 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