From dba35433e0f86a5e5bd308917c0485c9a61c1711 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Rapha=C3=ABl=20AMIARD?= <raph.amiard@gmail.com>
Date: Mon, 10 Jun 2019 12:06:30 +0200
Subject: [PATCH] S529-023: Add empty comment lines corner case to doc test

---
 ada/testsuite/tests/properties/doc/test.out | 1 +
 ada/testsuite/tests/properties/doc/test.py  | 1 +
 2 files changed, 2 insertions(+)

diff --git a/ada/testsuite/tests/properties/doc/test.out b/ada/testsuite/tests/properties/doc/test.out
index 0546b2637..220feefac 100644
--- a/ada/testsuite/tests/properties/doc/test.out
+++ b/ada/testsuite/tests/properties/doc/test.out
@@ -8,6 +8,7 @@ Test that we can extract doc after the prelude
 ==============================================
 
 Documentation for the package
+
 Bla bla bla
 
 Test annotation extraction
diff --git a/ada/testsuite/tests/properties/doc/test.py b/ada/testsuite/tests/properties/doc/test.py
index 9bb0ceda6..71a743e41 100644
--- a/ada/testsuite/tests/properties/doc/test.py
+++ b/ada/testsuite/tests/properties/doc/test.py
@@ -43,6 +43,7 @@ def test(label, buffer):
 with A; use A;
 
 --  Documentation for the package
+--
 --  Bla bla bla
 
 package Foo is