From 527e025e88fc01c7ed4fc3f951484b051c264d83 Mon Sep 17 00:00:00 2001 From: Marc Coquand Date: Thu, 23 May 2024 14:04:23 -0500 Subject: Fix export with relative line --- lib/stitched_article.ml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'lib/stitched_article.ml') diff --git a/lib/stitched_article.ml b/lib/stitched_article.ml index deedb43..86a22e9 100644 --- a/lib/stitched_article.ml +++ b/lib/stitched_article.ml @@ -95,13 +95,13 @@ let rec render (Array.to_list content_pretty |> List.map (fun (_, b) -> Grep.display_type_line b)) in - Export.to_path path ~content:export; - render t { state with output = Some ("Export written to: " ^ path ) }) + let result = Export.to_path path ~content:export in + render t { state with output = Some result }) else render t { state with output = Some "Export Blank; skipping" }) ; on_cancel = (fun _ -> Common.Term.cursor t None; - render t {state with output = Some "Export Cancelled"}) + render t { state with output = Some "Export Cancelled" }) } in Input_prompt.render t input_state -- cgit v1.2.3