diff options
Diffstat (limited to 'lib/configuration')
| -rw-r--r-- | lib/configuration/read_conf.ml | 1 | 
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 | 
