From 90a7dec41ac4f68c4c9a99eb77ebf340a36e536e Mon Sep 17 00:00:00 2001
From: Jedidiah Barber <contact@jedbarber.id.au>
Date: Wed, 12 Nov 2025 14:33:11 +1300
Subject: Bugfixes in Unify and Term Image, query function for World failure

---
 src/kompsos.ads | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src/kompsos.ads')

diff --git a/src/kompsos.ads b/src/kompsos.ads
index d229eb3..bed3d26 100644
--- a/src/kompsos.ads
+++ b/src/kompsos.ads
@@ -61,6 +61,10 @@ package Kompsos is
 
     Empty_World : constant World;
 
+    function Failed
+           (This : in out World)
+        return Boolean;
+
 
 
 
-- 
cgit