From 76058a686dc58780de9ce8915ece239014bb2ff5 Mon Sep 17 00:00:00 2001 From: Andrea Asperti Date: Mon, 23 May 2011 10:24:12 +0000 Subject: [PATCH] Removed dead code --- matitaB/components/ng_cic_content/interpretations.ml | 5 ----- 1 file changed, 5 deletions(-) diff --git a/matitaB/components/ng_cic_content/interpretations.ml b/matitaB/components/ng_cic_content/interpretations.ml index c898c0faa..226eecdfd 100644 --- 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);; -- 2.39.2