From 2f865276b504793b76d78b03056d373e9ebbe4e2 Mon Sep 17 00:00:00 2001
From: Jessica Clarke
Date: Sun, 27 Sep 2020 15:22:23 +0100
Subject: latex: Remove unused latex_label function

---
 src/latex.ml | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/src/latex.ml b/src/latex.ml
index 6d479a52..3373e92a 100644
--- a/src/latex.ml
+++ b/src/latex.ml
@@ -360,9 +360,6 @@ let rec latex_command cat id no_loc ((l, _) as annot) =
       ^^ ksprintf string "\\lstinputlisting[language=sail]{%s}}}}" (Filename.concat !opt_directory code_file)
     end
 
-let latex_label str id =
-  string (Printf.sprintf "\\label{%s:%s}" str (Util.zencode_string (string_of_id id)))
-
 let counter = ref 0
 
 let rec app_code (E_aux (exp, _)) =
-- 
cgit v1.2.3