diff options
Diffstat (limited to 'perl_checker.src/parser_helper.mli')
| -rw-r--r-- | perl_checker.src/parser_helper.mli | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/perl_checker.src/parser_helper.mli b/perl_checker.src/parser_helper.mli index a483a2e..cbb04e6 100644 --- a/perl_checker.src/parser_helper.mli +++ b/perl_checker.src/parser_helper.mli @@ -134,8 +134,6 @@ val to_Call_op_ : 'b * (int * int) -> ('a * Types.fromparser) * ('b * (int * int)) val followed_by_comma : ('a * Types.fromparser list) * 'b -> bool * 'c -> Types.fromparser list -val pot_strings : (string * string list) list ref -val pot_strings_and_file : (string, string) Hashtbl.t val po_comments : string list ref val po_comment : string * 'a -> unit val check_format_a_la_printf : string -> int -> unit |