From 4385bfdc47f631cd15b5e2377ed4f70d79d9d14f Mon Sep 17 00:00:00 2001
From: Rod Kay <rodakay5@gmail.com>
Date: Fri, 11 Nov 2022 15:44:57 +1100
Subject: [PATCH] lace_shared: Add compiler option to show extra debug info in
 'constraint_Error' messages.

---
 0-floor/lace_shared/lace_shared.gpr | 1 +
 1 file changed, 1 insertion(+)

diff --git a/0-floor/lace_shared/lace_shared.gpr b/0-floor/lace_shared/lace_shared.gpr
index b17f4cc..ad580ac 100644
--- a/0-floor/lace_shared/lace_shared.gpr
+++ b/0-floor/lace_shared/lace_shared.gpr
@@ -63,6 +63,7 @@ is
          Binder_Options   := Binder_Options   & "-Es";
          Compiler_Options := Compiler_Options & "-O0"
                                               & "-gnato"
+                                              & "-gnateE"                -- Extra debug info in constraint_Error messages.
                                               & "-fstack-check"
                                               & "-g";
          case lace_OS