From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Tue, 17 Feb 2004 23:58:30 +0000 (+0000)
Subject: removed useless Mpresentation module
X-Git-Tag: v0_0_4~155
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=b17d17bb5232a21edc209db4dc58acd724052c74;p=helm.git

removed useless Mpresentation module
---

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