From 14e6dc5800a28d49dcdb714b06c02fced7b9fdaf Mon Sep 17 00:00:00 2001
From: Pierre Boutillier
Date: Tue, 5 Aug 2014 18:09:30 +0200
Subject: Coqide prints succesive hyps of the same type on 1 line

This revert somehow f5d7b2b1eda550f5bf0965286d449112acbbadde about "Hypotheses
don't respect Barendregt convention".
---
 printing/printer.mli | 1 +
 1 file changed, 1 insertion(+)

(limited to 'printing/printer.mli')

diff --git a/printing/printer.mli b/printing/printer.mli
index aa949232ac..6be2080535 100644
--- a/printing/printer.mli
+++ b/printing/printer.mli
@@ -106,6 +106,7 @@ val pr_pconstructor        : env -> pconstructor -> std_ppcmds
 val pr_ne_context_of       : std_ppcmds -> env -> std_ppcmds
 
 val pr_var_decl            : env -> named_declaration -> std_ppcmds
+val pr_var_list_decl       : env -> named_list_declaration -> std_ppcmds
 val pr_rel_decl            : env -> rel_declaration -> std_ppcmds
 
 val pr_named_context       : env -> named_context -> std_ppcmds
-- 
cgit v1.2.3