1 files changed, 4 insertions, 0 deletions
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;
+