Removed dead code

diff --git a/matitaB/components/ng_cic_content/interpretations.ml b/matitaB/components/ng_cic_content/interpretations.ml
index c898c0faaf9c8e487cb429fabad72e46ec051395..226eecdfde7800c7d06bbd2868acd7c215398902 100644 (file)
--- a/matitaB/components/ng_cic_content/interpretations.ml
+++ b/matitaB/components/ng_cic_content/interpretations.ml
@@ -38,11 +38,6 @@ let hide_coercions = ref true;;
 
 type cic_id = string
 
-type term_info =
-  { sort: (cic_id, Ast.sort_kind) Hashtbl.t;
-    uri: (cic_id, NReference.reference) Hashtbl.t;
-  }
-
 module IntMap = Map.Make(struct type t = int let compare = compare end);;
 module StringMap = Map.Make(String);;