Remove unused pp_loc from src/ast_to_c.ml which was copied from src/pp.ml but never used

2022-12-16 15:40:24 +01:00 · 2022-12-16 15:40:24 +01:00 · 7a0f54f291
commit 7a0f54f291
parent dbf1583ffd
2 changed files with 1 additions and 8 deletions
--- 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

--- 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