From 68de927be04607e6573a5439e19449941defb5f8 Mon Sep 17 00:00:00 2001
From: Marc Coquand <marc@mccd.space>
Date: Tue, 26 Dec 2023 12:13:49 -0600
Subject: Fix bug with naming

---
 bin/main.ml | 1 -
 1 file changed, 1 deletion(-)

(limited to 'bin')

diff --git a/bin/main.ml b/bin/main.ml
index 43ce56b..0f9972d 100644
--- a/bin/main.ml
+++ b/bin/main.ml
@@ -54,7 +54,6 @@ let file =
   Arg.(required & pos 0 (some string) None & info [] ~docv:"PROGRAM" ~doc)
 
 
-(* TODO: Support option to set output folder *)
 let output_folder =
   let doc = "Set output folder" in
   Arg.(
-- 
cgit v1.2.3