summaryrefslogtreecommitdiff
path: root/driver
diff options
context:
space:
mode:
authorNicolás Ojeda Bär <n.oje.bar@gmail.com>2020-07-10 18:11:08 +0200
committerNicolás Ojeda Bär <n.oje.bar@gmail.com>2020-07-20 08:31:18 +0200
commitf9786a9cb29a5b668d9b44243eebbbc4d70838ee (patch)
tree73684e44e6f069988333b38e67ec737ba7b1cf9c /driver
parent85a7e8ef3178e3eb9fcedda26d6a6e296bc91261 (diff)
downloadocaml-f9786a9cb29a5b668d9b44243eebbbc4d70838ee.tar.gz
Rename Unsafe_without_parsing => No_unsafe_array_syntax_without_parsing
Diffstat (limited to 'driver')
-rw-r--r--driver/pparse.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/driver/pparse.ml b/driver/pparse.ml
index a5e98c0a4a..d52c137a50 100644
--- a/driver/pparse.ml
+++ b/driver/pparse.ml
@@ -175,7 +175,7 @@ let file_aux ~tool_name inputfile (type a) parse_fun invariant_fun
Location.input_name := (input_value ic : string);
if !Clflags.unsafe then
Location.prerr_warning (Location.in_file !Location.input_name)
- Warnings.Unsafe_without_parsing;
+ Warnings.No_unsafe_array_syntax_without_parsing;
let ast = (input_value ic : a) in
if !Clflags.all_ppx = [] then invariant_fun ast;
(* if all_ppx <> [], invariant_fun will be called by apply_rewriters *)