Fix bootstrap with 4.02

2017-03-01 13:31:08 +00:00 · 2017-03-01 13:31:08 +00:00 · fb4122afb9
parent 4ee2e74131
commit fb4122afb9
1 changed files with 1 additions and 1 deletions
--- a/bootstrap.ml
+++ b/bootstrap.ml
@ -265,7 +265,7 @@ module Jbuilder_re = struct
 end

 module Glob_lexer = struct
-  let parse_string _ = Error (0, "globs are not available during bootstrap")
+  let parse_string _ = failwith "globs are not available during bootstrap"
 end
 |}
  in