From 8bdb00bbea9dce95f7e0bc18250a41545660299d Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Thu, 4 May 2017 11:25:22 +0200
Subject: Warning removed.

---
 printing/printer.ml | 2 --
 1 file changed, 2 deletions(-)

diff --git a/printing/printer.ml b/printing/printer.ml
index 1d3e67d9d6..91a7d22899 100644
--- a/printing/printer.ml
+++ b/printing/printer.ml
@@ -28,8 +28,6 @@ module CompactedDecl = Context.Compacted.Declaration
 
 let emacs_str s =
   if !Flags.print_emacs then s else ""
-let delayed_emacs_cmd s =
-  if !Flags.print_emacs then s () else str ""
 
 let get_current_context () =
   Pfedit.get_current_context ()
-- 
cgit v1.2.3