From 9f3d3d40ddf6db70f8395adf4290241f7c5735db Mon Sep 17 00:00:00 2001 From: Marc Coquand Date: Wed, 15 May 2024 12:32:39 -0500 Subject: Update state management --- bin/main.ml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'bin') diff --git a/bin/main.ml b/bin/main.ml index 78d30ba..1fba7a3 100644 --- a/bin/main.ml +++ b/bin/main.ml @@ -1,4 +1,3 @@ -open Stitch open Cmdliner let tag_arg = @@ -6,7 +5,7 @@ let tag_arg = Arg.(value & opt string "" & info [ "t"; "tag" ] ~docv:"TAG" ~doc) -let headlines_t = Term.(const Headlines.start $ tag_arg $ const ()) +let headlines_t = Term.(const Stitch.start $ tag_arg $ const ()) let headlines_cmd = let doc = "Show titles in a condensed list" in -- cgit v1.2.3