Reification, including Term flattening and Treeification

1 files changed, 3 insertions, 1 deletions

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");