X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_notation%2Ftest_parser.ml;h=26ece217d9240337876e525f27c339ac32798cc1;hb=a907911788bf1229fbf04e3125e0c1755f90d96a;hp=05a80d982fdfd95cb893535f5c9739a51f22d73b;hpb=ff981d975589f8d21a364e7cfe875647f7483cd9;p=helm.git

diff --git a/helm/ocaml/cic_notation/test_parser.ml b/helm/ocaml/cic_notation/test_parser.ml
index 05a80d982..26ece217d 100644
--- a/helm/ocaml/cic_notation/test_parser.ml
+++ b/helm/ocaml/cic_notation/test_parser.ml
@@ -29,23 +29,6 @@ let _ =
   Helm_registry.set "getter.mode" "remote";
   Helm_registry.set "getter.url" "http://helm.cs.unibo.it:58081/"
 
-  (* ORRIBLE HACK! conversion:
-   * (Cic.id, string) Hashtbl.t -> (Cic.id, CicNotationtPt.sort_kind) Hashtbl.t
-   *)
-let patch_sort_tbl tbl =
-  let sort_of_string = function
-    | "Prop" -> `Prop
-    | "Set" -> `Set
-    | "Type" | "?" -> `Type
-    | "CProp" -> `CProp
-    | _ -> assert false
-  in
-  let tbl' = Hashtbl.create (Hashtbl.length tbl) in
-  Hashtbl.iter
-    (fun id sort_str -> Hashtbl.add tbl' id (sort_of_string sort_str))
-    tbl;
-  tbl'
-
 let _ =
   let module P = CicNotationPt in
   let level = ref ~-1 in
@@ -125,7 +108,6 @@ let _ =
                   | Cic.AVariable (_, _, _, ty, _, _) -> ty
                   | _ -> assert false
                 in
-                let id_to_sort = patch_sort_tbl id_to_sort in
                 let time1 = Unix.gettimeofday () in
                 let t, id_to_uri =
                   CicNotationRew.ast_of_acic id_to_sort annterm