removed useless Mpresentation module

diff --git a/helm/ocaml/cic_transformations/ast2pres.ml b/helm/ocaml/cic_transformations/ast2pres.ml
index b0b1dd4f792930f9427f2468a1cfecab20ceebfe..c5d59029dc5e367d40b2aff5018721d6df8680a1 100644 (file)
--- 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;;