From 5055ba0abd1a36d6f33666b0f72fbd9cf6ae3971 Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond <guillaume.melquiond@inria.fr>
Date: Thu, 28 Apr 2016 13:58:25 +0200
Subject: Fix missing newline in coqchk engagement (bug #4694).

---
 checker/check_stat.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'checker/check_stat.ml')

diff --git a/checker/check_stat.ml b/checker/check_stat.ml
index d031975d7..84f5684d4 100644
--- a/checker/check_stat.ml
+++ b/checker/check_stat.ml
@@ -28,7 +28,7 @@ let pr_engagement (impr_set,type_in_type) =
     match impr_set with
     | ImpredicativeSet -> str "Theory: Set is impredicative"
     | PredicativeSet -> str "Theory: Set is predicative"
-  end ++
+  end ++ fnl() ++
   begin
     match type_in_type with
     | StratifiedType -> str "Theory: Stratified type hierarchy"
-- 
cgit v1.2.3