From 7a0f54f291c844b89fb509d09355622de450b995 Mon Sep 17 00:00:00 2001
From: Benjamin Loison <benjamin.loison@orange.fr>
Date: Fri, 16 Dec 2022 15:40:24 +0100
Subject: [PATCH] Remove unused `pp_loc` from `src/ast_to_c.ml` which was
 copied from `src/pp.ml` but never used

---
 beamer/beamer.tex | 2 +-
 src/ast_to_c.ml   | 7 -------
 2 files changed, 1 insertion(+), 8 deletions(-)

diff --git a/beamer/beamer.tex b/beamer/beamer.tex
index a6459fc..701ec3a 100644
--- a/beamer/beamer.tex
+++ b/beamer/beamer.tex
@@ -122,7 +122,7 @@
 \section{Translation to C}
 \begin{frame}
 
-	Architecture similar to Arnaud's AST pretty-printer.
+	\texttt{ast\_to\_c.ml} architecture similar to Arnaud's AST pretty-printer.
 
 	\pause
 
diff --git a/src/ast_to_c.ml b/src/ast_to_c.ml
index 3769be6..53c6324 100644
--- a/src/ast_to_c.ml
+++ b/src/ast_to_c.ml
@@ -1,12 +1,5 @@
 open Ast
 
-let pp_loc fmt (start, stop) =
-  Lexing.(
-    Format.fprintf fmt "%s: <l: %d, c: %d> -- <l: %d, c: %d>"
-      start.pos_fname
-      start.pos_lnum start.pos_cnum
-      stop.pos_lnum stop.pos_cnum)
-
 type var_list_delim =
   | Base
   | Arg