Infinite number of States in a World enabled with lazy evaluation

1 files changed, 4 insertions, 2 deletions

diff --git a/tests.gpr b/tests.gpr
index 505d53f..e555285 100644
--- a/tests.gpr
+++ b/tests.gpr
@@ -17,11 +17,13 @@ project Tests is
 
     for Main use
        ("ab.adb",
+        "fivesix.adb",
         "pprint.adb");
 
     package Builder is
-        for Executable ("ab.adb")     use "ab";
-        for Executable ("pprint.adb") use "pprint";
+        for Executable ("ab.adb")      use "ab";
+        for Executable ("fivesix.adb") use "fivesix";
+        for Executable ("pprint.adb")  use "pprint";
 
         for Default_Switches ("Ada") use
             Common.Builder'Default_Switches ("Ada");