diff options
Diffstat (limited to 'perl_checker.src/info.ml')
| -rw-r--r-- | perl_checker.src/info.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/perl_checker.src/info.ml b/perl_checker.src/info.ml index 947dc50..f64af7a 100644 --- a/perl_checker.src/info.ml +++ b/perl_checker.src/info.ml @@ -12,6 +12,8 @@ let start_a_new_file file = current_file := file ; current_file_lines_starts := [0] +let add_a_file file file_lines_starts = Hashtbl.replace lines_starts file file_lines_starts + let get_lines_starts_for_file file = if file = !current_file then !current_file_lines_starts else Hashtbl.find lines_starts file |