From 54ca685422a37b3ebf4e24596d094a708834f221 Mon Sep 17 00:00:00 2001 From: Marc Coquand Date: Mon, 10 Jun 2024 09:42:41 -0500 Subject: Change formatting: Remove bar --- lib/stitch.ml | 1 + 1 file changed, 1 insertion(+) (limited to 'lib/stitch.ml') diff --git a/lib/stitch.ml b/lib/stitch.ml index 31c247d..3383c83 100644 --- a/lib/stitch.ml +++ b/lib/stitch.ml @@ -19,6 +19,7 @@ let start (tag : string) () = STITCH_DIRECTORY to the absolute path of your notes. For example: \ STITCH_DIRECTORY='/home/you/notes'." else ( + print_endline "Launching"; let term = Common.Term.create () in let restore_headline_state = ref (fun () -> ()) in let restore_done_state = ref (fun () -> ()) in -- cgit v1.2.3