From 3d5936f280bc01bd6baa8b4396e641ac156bfd5b Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr>
Date: Thu, 20 Nov 2014 00:09:10 +0100
Subject: Moving mutual inductive printing from Printer to Printmod.

---
 printing/printer.mli | 4 ----
 1 file changed, 4 deletions(-)

(limited to 'printing/printer.mli')

diff --git a/printing/printer.mli b/printing/printer.mli
index ac35a324a..ad6cedf7d 100644
--- a/printing/printer.mli
+++ b/printing/printer.mli
@@ -175,7 +175,3 @@ val set_printer_pr : printer_pr -> unit
 
 val default_printer_pr : printer_pr
 
-(** Inductive declarations *)
-
-val pr_mutual_inductive_body :
-  env -> mutual_inductive -> Declarations.mutual_inductive_body -> std_ppcmds
-- 
cgit v1.2.3