Refactor of Terms that causes GNAT to STORAGE_ERROR

1 files changed, 11 insertions, 11 deletions

diff --git a/src/kompsos-pretty_print.adb b/src/kompsos-pretty_print.adb
index 7ecbb75..8739af8 100644
--- a/src/kompsos-pretty_print.adb
+++ b/src/kompsos-pretty_print.adb
@@ -62,25 +62,25 @@ package body Kompsos.Pretty_Print is
                (Item : in Term)
             return String is
         begin
-            case Item.Actual.Kind is
+            case Item.Kind is
+            when Null_Term =>
+                return "()";
             when Atom_Term =>
-                return Element_Image (Item.Actual.Value);
+                return Element_Image (Item.Atom);
             when Var_Term =>
-                return Image (Item.Actual.Refer);
+                return Image (Item.Var);
             when Pair_Term =>
-                if Item.Actual.Right.Actual = null then
-                    return Image (Item.Actual.Left);
-                elsif Item.Actual.Right.Actual.Kind /= Pair_Term then
-                    return Image (Item.Actual.Left) & " . " & Bare (Item.Actual.Right);
+                if Item.Right.Kind = Null_Term then
+                    return Image (Item.Left);
+                elsif Item.Right.Kind /= Pair_Term then
+                    return Image (Item.Left) & " . " & Bare (Item.Right);
                 else
-                    return Image (Item.Actual.Left) & " " & Bare (Item.Actual.Right);
+                    return Image (Item.Left) & " " & Bare (Item.Right);
                 end if;
             end case;
         end Bare;
     begin
-        if Item.Actual = null then
-            return "()";
-        elsif Item.Actual.Kind = Pair_Term then
+        if Item.Kind = Pair_Term then
             return "(" & Bare (Item) & ")";
         else
             return Bare (Item);