From e88f7f320046bc68d979d419dec0957b03ccdca4 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Mon, 5 Nov 2007 09:48:59 +0000 Subject: [PATCH] New OCaml keyword "val". --- components/cic_exportation/cicExportation.ml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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 -> -- 2.39.2