From 17c786ea27bf644efdae271b8a93bd5ce1d730e8 Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Fri, 11 May 2018 11:32:31 +0100
Subject: Remove unneeded _sail suffix from latex files.

---
 src/latex.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src')

diff --git a/src/latex.ml b/src/latex.ml
index 3233a4ac..0520d074 100644
--- a/src/latex.ml
+++ b/src/latex.ml
@@ -132,10 +132,10 @@ let rec latex_command ?prefix:(prefix="") ?label:(label=None) dir cmd no_loc ((l
   else
     begin
       commands := StringSet.add lcmd !commands;
-      let oc = open_out (Filename.concat dir (cmd ^ "_sail.tex")) in
+      let oc = open_out (Filename.concat dir (cmd ^ ".tex")) in
       output_string oc (Pretty_print_sail.to_string (latex_loc no_loc l));
       close_out oc;
-      string (Printf.sprintf "\\newcommand{\\%s}{%s " cmd labelling) ^^ (docstring l) ^^ string (Printf.sprintf "\\lstinputlisting[language=sail]{%s/%s_sail.tex}}" dir cmd)
+      string (Printf.sprintf "\\newcommand{\\%s}{%s " cmd labelling) ^^ (docstring l) ^^ string (Printf.sprintf "\\lstinputlisting[language=sail]{%s/%s.tex}}" dir cmd)
     end
 
 let latex_command_id ?prefix:(prefix="") dir id no_loc annot =
-- 
cgit v1.2.3