diff options
| author | Jedidiah Barber <contact@jedbarber.id.au> | 2025-12-16 18:48:36 +1300 |
|---|---|---|
| committer | Jedidiah Barber <contact@jedbarber.id.au> | 2025-12-16 18:48:36 +1300 |
| commit | 49ce64ee1e086df3b84ebd60507f3b3547a5bf0e (patch) | |
| tree | 801c72cd428b4265b60708aed9659e587b0c3358 /src/kompsos-collector.ads | |
| parent | 826b9d2dad1031a3eca29dd2fb8b6643e53e5fc1 (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.ads | 4 |
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, |
