aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--lib/stitched_article.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/stitched_article.ml b/lib/stitched_article.ml
index 12b207f..ae9f174 100644
--- a/lib/stitched_article.ml
+++ b/lib/stitched_article.ml
@@ -193,7 +193,7 @@ let rec render
it adds by removing the file_number *)
let line_number_arg = "+" ^ Int.to_string line_number in
let full_args =
- Array.append (Array.of_list args) [| ""; full_path_file; line_number_arg |]
+ Array.append (Array.of_list args) [| ""; line_number_arg; full_path_file |]
in
Common.Term.cursor t (Some (0, 0));
let _ =