summaryrefslogtreecommitdiff
path: root/src/kompsos-collector.ads
diff options
context:
space:
mode:
authorJedidiah Barber <contact@jedbarber.id.au>2025-12-16 18:48:36 +1300
committerJedidiah Barber <contact@jedbarber.id.au>2025-12-16 18:48:36 +1300
commit49ce64ee1e086df3b84ebd60507f3b3547a5bf0e (patch)
tree801c72cd428b4265b60708aed9659e587b0c3358 /src/kompsos-collector.ads
parent826b9d2dad1031a3eca29dd2fb8b6643e53e5fc1 (diff)
Can now output the basic structural DAG of a World in DOT format
Diffstat (limited to 'src/kompsos-collector.ads')
-rw-r--r--src/kompsos-collector.ads4
1 files changed, 0 insertions, 4 deletions
diff --git a/src/kompsos-collector.ads b/src/kompsos-collector.ads
index 4bca3b4..8743ecc 100644
--- a/src/kompsos-collector.ads
+++ b/src/kompsos-collector.ads
@@ -41,10 +41,6 @@ private
type Constant_World_Access is access constant World;
- function "<"
- (Left, Right : in World_Component_Access)
- return Boolean;
-
type Eval_Kind is
(Unify_Data,
Disjunct_Data,