From acb42d7250f4832e2c93e5ecfaab4dd69b4c4a11 Mon Sep 17 00:00:00 2001
From: Marc Coquand <marc@mccd.space>
Date: Sat, 18 May 2024 13:36:55 -0500
Subject: Arbitrary command for article

---
 lib/grep.ml | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'lib/grep.ml')

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
-- 
cgit v1.2.3