mirror of
https://github.com/CatalaLang/catala.git
synced 2024-09-20 00:41:05 +03:00
Error in doc comment
This commit is contained in:
parent
974769c013
commit
77c88e87f0
@ -44,7 +44,6 @@ let lexer_error (loc : Pos.t) (msg : string) =
|
||||
(** Usage: [weaving_error message] *)
|
||||
let weaving_error (msg : string) = raise (WeavingError (Printf.sprintf "Weaving error: %s" msg))
|
||||
|
||||
(** Usage: [*)
|
||||
let unknown_identifier (ident : string) (loc : Pos.t) =
|
||||
raise (ContextError (Printf.sprintf "Unknown identifier \"%s\"\n%s" ident (Pos.to_string loc)))
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user