]> matita.cs.unibo.it Git - helm.git/commitdiff
New OCaml keyword "val".
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 5 Nov 2007 09:48:59 +0000 (09:48 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 5 Nov 2007 09:48:59 +0000 (09:48 +0000)
helm/software/components/cic_exportation/cicExportation.ml

index 71de7716a11cd6f784b3cc94e5914d12c0c93b6a..769dc916c1c3474db382239a50e7647e155026f6 100644 (file)
@@ -62,7 +62,8 @@ let analyze_type context t =
 let ppid =
  let reserved =
   [ "to";
-    "mod"
+    "mod";
+    "val"
   ]
  in
   function n ->