From 39a112952e328ce52e5f7b08bf18bbadd3fca03f Mon Sep 17 00:00:00 2001
From: Jedidiah Barber <contact@jedbarber.id.au>
Date: Wed, 19 Nov 2025 16:51:08 +1300
Subject: Reification, including Term flattening and Treeification

---
 tests.gpr | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'tests.gpr')

diff --git a/tests.gpr b/tests.gpr
index a8007d8..b330b78 100644
--- a/tests.gpr
+++ b/tests.gpr
@@ -20,7 +20,8 @@ project Tests is
         "fivesix.adb",
         "membero.adb",
         "pprint.adb",
-        "rembero.adb");
+        "rembero.adb",
+        "trees.adb");
 
     package Builder is
         for Executable ("ab.adb")      use "ab";
@@ -28,6 +29,7 @@ project Tests is
         for Executable ("membero.adb") use "membero";
         for Executable ("pprint.adb")  use "pprint";
         for Executable ("rembero.adb") use "rembero";
+        for Executable ("trees.adb")   use "trees";
 
         for Default_Switches ("Ada") use
             Common.Builder'Default_Switches ("Ada");
-- 
cgit