diff options
author | Marc Coquand <marc@mccd.space> | 2024-05-23 14:04:23 -0500 |
---|---|---|
committer | Marc Coquand <marc@mccd.space> | 2024-05-23 14:04:23 -0500 |
commit | 527e025e88fc01c7ed4fc3f951484b051c264d83 (patch) | |
tree | 825a8751d30725e299ac363698a7a5f86d5ac535 /lib/stitched_article.ml | |
parent | eed9e36b661009e5bcf1c4f5ec3a9279bbb7cda5 (diff) | |
download | stitch-527e025e88fc01c7ed4fc3f951484b051c264d83.tar.gz stitch-527e025e88fc01c7ed4fc3f951484b051c264d83.tar.bz2 stitch-527e025e88fc01c7ed4fc3f951484b051c264d83.zip |
Fix export with relative line
Diffstat (limited to 'lib/stitched_article.ml')
-rw-r--r-- | lib/stitched_article.ml | 6 |
1 files changed, 3 insertions, 3 deletions
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 |