diff options
Diffstat (limited to 'src/boot/driver')
| -rw-r--r-- | src/boot/driver/session.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/boot/driver/session.ml b/src/boot/driver/session.ml index d295763a..21faed0b 100644 --- a/src/boot/driver/session.ml +++ b/src/boot/driver/session.ml @@ -109,7 +109,7 @@ let report_err sess ido str = in match spano with None -> - fail sess "Error: %s\n%!" str + fail sess "error: %s\n%!" str | Some span -> fail sess "%s: error: %s\n%!" (string_of_span span) str |