1 files changed, 0 insertions, 46 deletions
diff --git a/test/repeat.adb b/test/repeat.adb
deleted file mode 100644
index 0eec066..0000000
--- a/test/repeat.adb
+++ /dev/null
@@ -1,46 +0,0 @@
-
-
---  Programmed by Jedidiah Barber
---  Licensed under the Sunset License v1.0
-
---  See license.txt for further details
-
-
-with
-
-    Ada.Text_IO,
-    Kompsos.Pretty_Print;
-
-
-procedure Repeat is
-
-    package TIO renames Ada.Text_IO;
-
-
-    package InKomp is new Kompsos (Integer);
-    use InKomp;
-
-    package Printer is new InKomp.Pretty_Print (Integer'Image);
-
-
-    Relation : Goal := Empty_Goal;
-
-    A : constant Term := Relation.Fresh;
-    B : constant Term := Relation.Fresh;
-
-begin
-
-    TIO.Put_Line ("Test program to check whether Recurse is working properly.");
-    TIO.Put_Line ("There should be 5 results, all identical.");
-
-    TIO.New_Line;
-
-    Relation := Disjunct (Relation.Unify (A, 1), Relation.Unify (B, 2));
-    Relation.Unify (A, 3);
-    Relation.Recurse;
-
-    TIO.Put_Line (Printer.Image (Relation.Run (5)));
-
-end Repeat;
-
-