From 33f7877dc675cd1c2ce5ffd8da04e65b4d029676 Mon Sep 17 00:00:00 2001
From: SimonBoulier
Date: Mon, 5 Nov 2018 11:45:47 +0100
Subject: Add [Print Typing Flags] command.

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

(limited to 'printing/printer.mli')

diff --git a/printing/printer.mli b/printing/printer.mli
index a72f319636..0855f2d109 100644
--- a/printing/printer.mli
+++ b/printing/printer.mli
@@ -207,3 +207,5 @@ val pr_assumptionset : env -> evar_map -> types ContextObjectMap.t -> Pp.t
 
 val pr_goal_by_id : proof:Proof.t -> Id.t -> Pp.t
 val pr_goal_emacs : proof:Proof.t option -> int -> int -> Pp.t
+
+val pr_typing_flags : Declarations.typing_flags -> Pp.t
-- 
cgit v1.2.3