From 36159bc54164916c555716123c1c63a466952db0 Mon Sep 17 00:00:00 2001
From: Jessica Clarke
Date: Sun, 27 Sep 2020 16:38:03 +0100
Subject: latex: Prepend opt_prefix inside latex_cat_id

Now that the category is prepended in latex_cat_id, also prepend
opt_prefix there instead to ensure no caller forgets to do so.

No functional change intended, and verified by regenerating the LaTeX
for sail-cheri-mips and sail-cheri-riscv.
---
 src/latex.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'src')

diff --git a/src/latex.ml b/src/latex.ml
index 0ac4097e..4abd7c6b 100644
--- a/src/latex.ml
+++ b/src/latex.ml
@@ -197,7 +197,7 @@ let latex_id_raw id =
     state.generated_names <- Bindings.add id str state.generated_names;
     str
 
-let latex_cat_id cat id = category_name cat ^ latex_id_raw id
+let latex_cat_id cat id = !opt_prefix ^ category_name cat ^ latex_id_raw id
 
 let rec app_code (E_aux (exp, _)) =
   match exp with
@@ -358,7 +358,7 @@ let rec latex_command cat id no_loc ((l, _) as annot) =
   let doc = if cat = Val then no_loc else latex_loc no_loc l in
   output_string chan (Pretty_print_sail.to_string doc);
   close_out chan;
-  let command = sprintf "\\%s%s" !opt_prefix (latex_cat_id cat id) in
+  let command = sprintf "\\%s" (latex_cat_id cat id) in
   if StringSet.mem command state.commands then
     (Reporting.warn "" l ("Multiple instances of " ^ string_of_id id ^ " only generating latex for the first"); empty)
   else
@@ -495,7 +495,7 @@ let defs (Defs defs) =
      identifiers then outputs the correct mangled command. *)
   let id_command cat ids =
     sprintf "\\newcommand{\\%s%s}[1]{\n  " !opt_prefix (category_name cat)
-    ^ Util.string_of_list "%\n  " (fun id -> sprintf "\\ifstrequal{#1}{%s}{\\%s%s}{}" (string_of_id id) !opt_prefix (latex_cat_id cat id))
+    ^ Util.string_of_list "%\n  " (fun id -> sprintf "\\ifstrequal{#1}{%s}{\\%s}{}" (string_of_id id) (latex_cat_id cat id))
                           (IdSet.elements ids)
     ^ "}"
     |> string
-- 
cgit v1.2.3