From d54b326f1271c4f3dfd207030c153b3e90dcd64b Mon Sep 17 00:00:00 2001
From: Pierre Corbineau
Date: Mon, 2 Mar 2015 14:42:12 +0100
Subject: rewiring Czar printers that were disabled

---
 printing/pptactic.mli | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'printing')

diff --git a/printing/pptactic.mli b/printing/pptactic.mli
index 42b4c976af..30b9483db7 100644
--- a/printing/pptactic.mli
+++ b/printing/pptactic.mli
@@ -16,6 +16,7 @@ open Constrexpr
 open Tacexpr
 open Ppextend
 
+
 type 'a raw_extra_genarg_printer =
     (constr_expr -> std_ppcmds) ->
     (constr_expr -> std_ppcmds) ->
@@ -60,3 +61,4 @@ include Pptacticsig.Pp
     located in {!Ppannotation.t}. *)
 module Richpp : Pptacticsig.Pp
 
+val ltop : tolerability
-- 
cgit v1.2.3