From 49ce64ee1e086df3b84ebd60507f3b3547a5bf0e Mon Sep 17 00:00:00 2001 From: Jedidiah Barber Date: Tue, 16 Dec 2025 18:48:36 +1300 Subject: Can now output the basic structural DAG of a World in DOT format --- src/kompsos-collector.ads | 4 ---- 1 file changed, 4 deletions(-) (limited to 'src/kompsos-collector.ads') 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, -- cgit