From 9a5fb78ef3c7c5d4f568a4d04e169475e9105def Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond
Date: Wed, 29 Jul 2015 19:58:39 +0200
Subject: Make coq-tex more robust with respect to the (non-)command on the
 last line.

---
 tools/coq_tex.ml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/tools/coq_tex.ml b/tools/coq_tex.ml
index 9c91889a03..f65708698c 100644
--- a/tools/coq_tex.ml
+++ b/tools/coq_tex.ml
@@ -55,7 +55,10 @@ let extract texfile inputv =
       ("Set Printing Width " ^ (string_of_int !linelen) ^".\n");
     outside ()
   with End_of_file ->
-    begin close_in chan_in; close_out chan_out end
+    (* a dummy command, just in case the last line was a comment *)
+    output_string chan_out "Set Printing Width 78.\n";
+    close_in chan_in;
+    close_out chan_out
 
 (* Second pass: insert the answers of Coq from [coq_output] into the
  * TeX file [texfile]. The result goes in file [result]. *)
-- 
cgit v1.2.3