X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Fcic_exportation%2FcicExportation.ml;h=769dc916c1c3474db382239a50e7647e155026f6;hb=e88f7f320046bc68d979d419dec0957b03ccdca4;hp=71de7716a11cd6f784b3cc94e5914d12c0c93b6a;hpb=919ed4004380ac55a978841b0a5c42ad61c45a8f;p=helm.git

diff --git a/components/cic_exportation/cicExportation.ml b/components/cic_exportation/cicExportation.ml
index 71de7716a..769dc916c 100644
--- a/components/cic_exportation/cicExportation.ml
+++ b/components/cic_exportation/cicExportation.ml
@@ -62,7 +62,8 @@ let analyze_type context t =
 let ppid =
  let reserved =
   [ "to";
-    "mod"
+    "mod";
+    "val"
   ]
  in
   function n ->