diff options
Diffstat (limited to 'lib/grep.ml')
| -rw-r--r-- | lib/grep.ml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/lib/grep.ml b/lib/grep.ml index 5690edc..c5acbb6 100644 --- a/lib/grep.ml +++ b/lib/grep.ml @@ -292,6 +292,11 @@ type display_type = | Bold of string | Normal of string +let display_type_line = function + | Bold s -> s + | Normal s -> s + + let pretty_print_parsed_content parsed_files = let padding = String.make headline_pattern_length ' ' in List.concat_map |