diff options
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, |