Avoid generating latex files that differ only by case because this causes confusion on case insensitive file systems (e.g. mac).

1 files changed, 3 insertions, 2 deletions

diff --git a/src/latex.ml b/src/latex.ml
index 8688eaa8..3233a4ac 100644
--- a/src/latex.ml
+++ b/src/latex.ml
@@ -126,11 +126,12 @@ let rec latex_command ?prefix:(prefix="") ?label:(label=None) dir cmd no_loc ((l
     | Some l -> Printf.sprintf "\\label{%s}" l
   in
   let cmd = !opt_prefix_latex ^ prefix ^ cmd in
-  if StringSet.mem cmd !commands then
+  let lcmd = String.lowercase cmd in  (* lowercase to avoid file names differing only by case *)
+  if StringSet.mem lcmd !commands then
     latex_command ~label:label dir (cmd ^ "v") no_loc annot
   else
     begin
-      commands := StringSet.add cmd !commands;
+      commands := StringSet.add lcmd !commands;
       let oc = open_out (Filename.concat dir (cmd ^ "_sail.tex")) in
       output_string oc (Pretty_print_sail.to_string (latex_loc no_loc l));
       close_out oc;