From 46957a5114fbc955f7c48d73cb0e02e932ddd520 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

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

(limited to 'printing')

diff --git a/printing/pptactic.mli b/printing/pptactic.mli
index a0bbc2e79f..fa91aefcf3 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