Removed Nametags and identifier aliasing for Variables

1 files changed, 9 insertions, 8 deletions

diff --git a/test/ab.adb b/test/ab.adb
index de89207..314b0dc 100644
--- a/test/ab.adb
+++ b/test/ab.adb
@@ -20,11 +20,12 @@ procedure AB is
     package InKomp is new Kompsos (Integer);
     use InKomp;
 
-    package InPrin is new InKomp.Pretty_Print (Integer'Image);
-    use InPrin;
+    package Printer is new InKomp.Pretty_Print (Integer'Image);
+
 
     Relation : Goal := Empty_Goal;
-    Item : Term;
+
+    A, B : Term;
 
 begin
 
@@ -32,12 +33,12 @@ begin
 
     TIO.New_Line;
 
-    Item := Relation.Fresh ("a");
-    Relation.Unify (Item, 7);
-    Item := Relation.Fresh ("b");
-    Relation := Disjunct (Relation.Unify (Item, 5), Relation.Unify (Item, 6));
+    A := Relation.Fresh;
+    Relation.Unify (A, 7);
+    B := Relation.Fresh;
+    Relation := Disjunct (Relation.Unify (B, 5), Relation.Unify (B, 6));
 
-    TIO.Put_Line (Image (Relation));
+    TIO.Put_Line (Printer.Image (Relation));
 
 end AB;