aboutsummaryrefslogtreecommitdiff
path: root/lib/configuration/read_conf.ml
diff options
context:
space:
mode:
Diffstat (limited to 'lib/configuration/read_conf.ml')
-rw-r--r--lib/configuration/read_conf.ml1
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/configuration/read_conf.ml b/lib/configuration/read_conf.ml
index df1a728..52ccb62 100644
--- a/lib/configuration/read_conf.ml
+++ b/lib/configuration/read_conf.ml
@@ -117,6 +117,7 @@ end = struct
Printf.sprintf "Unclosed quote at line %d : \"%s\"" line content
in
Error message
+ | ImportErrors.UnknowFunction _ as e -> Error (ImportErrors.repr_error e)
| e ->
let message = Printexc.to_string e in
Error message