From 69514149fb1ddc17be744a883806e8bc3c8ebb7a Mon Sep 17 00:00:00 2001 From: Jedidiah Barber Date: Sat, 15 Nov 2025 16:06:40 +1300 Subject: Refactor of Terms that causes GNAT to STORAGE_ERROR --- src/kompsos-pretty_print.ads | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'src/kompsos-pretty_print.ads') diff --git a/src/kompsos-pretty_print.ads b/src/kompsos-pretty_print.ads index ed9509a..bf0b9d7 100644 --- a/src/kompsos-pretty_print.ads +++ b/src/kompsos-pretty_print.ads @@ -13,6 +13,11 @@ generic package Kompsos.Pretty_Print is + function Image + (Item : in Variable) + return String; + + function Image (Item : in Term) return String; @@ -36,11 +41,6 @@ private return String; - function Image - (Item : in Variable) - return String; - - function Image (Item : in State) return String; -- cgit