Skip to content
Snippets Groups Projects
Commit 2a146313 authored by Andre Maroneze's avatar Andre Maroneze
Browse files

[Metrics] convert user errors from fatal to abort

parent 0f300fcb
No related branches found
No related tags found
No related merge requests found
......@@ -256,11 +256,11 @@ let get_file_type filename =
| "html" | "htm" -> Html
| "txt" | "text" -> Text
| s ->
Metrics_parameters.fatal
Metrics_parameters.abort
"Unknown file extension %s. Cannot produce output.@." s
with
| No_suffix ->
Metrics_parameters.fatal
Metrics_parameters.abort
"File %s has no suffix. Cannot produce output.@." filename
module VarinfoByName = struct
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment