1 files changed, 5 insertions, 5 deletions
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
@@ -14,6 +14,11 @@ package Kompsos.Pretty_Print is
 
 
     function Image
+           (Item : in Variable)
+        return String;
+
+
+    function Image
            (Item : in Term)
         return String;
 
@@ -37,11 +42,6 @@ private
 
 
     function Image
-           (Item : in Variable)
-        return String;
-
-
-    function Image
            (Item : in State)
         return String;