From b17d17bb5232a21edc209db4dc58acd724052c74 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Tue, 17 Feb 2004 23:58:30 +0000 Subject: [PATCH] removed useless Mpresentation module --- helm/ocaml/cic_transformations/ast2pres.ml | 1 - 1 file changed, 1 deletion(-) diff --git a/helm/ocaml/cic_transformations/ast2pres.ml b/helm/ocaml/cic_transformations/ast2pres.ml index b0b1dd4f7..c5d59029d 100644 --- a/helm/ocaml/cic_transformations/ast2pres.ml +++ b/helm/ocaml/cic_transformations/ast2pres.ml @@ -32,7 +32,6 @@ (* *) (**************************************************************************) -module P = Mpresentation;; module A = CicAst;; let symbol_table = Hashtbl.create 503;; -- 2.39.2