From 4bb57c04fbf22c267ccd416a8ba79f6d13c22302 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 16 Jun 2005 14:16:21 +0000
Subject: [PATCH] Dead code clean-up.

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

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
-- 
2.39.2