diff options
| author | Jedidiah Barber <contact@jedbarber.id.au> | 2025-11-12 14:33:11 +1300 |
|---|---|---|
| committer | Jedidiah Barber <contact@jedbarber.id.au> | 2025-11-12 14:33:11 +1300 |
| commit | 90a7dec41ac4f68c4c9a99eb77ebf340a36e536e (patch) | |
| tree | 95d66d5dc11c76eeafb0a7cd36316f9dcb3b660b /src/kompsos.ads | |
| parent | 3356c1956735504f2197b12f1b423aec50a6bd6b (diff) | |
Bugfixes in Unify and Term Image, query function for World failure
Diffstat (limited to 'src/kompsos.ads')
| -rw-r--r-- | src/kompsos.ads | 4 |
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; + |