From 28d132c2823d7dfa21190bf746f9f39dd59a40d8 Mon Sep 17 00:00:00 2001 From: Jedidiah Barber Date: Thu, 22 Jan 2026 16:41:39 +1300 Subject: States are now custom linked lists --- src/kompsos-collector.ads | 2 -- 1 file changed, 2 deletions(-) (limited to 'src/kompsos-collector.ads') diff --git a/src/kompsos-collector.ads b/src/kompsos-collector.ads index c1ea8bc..f03e1e6 100644 --- a/src/kompsos-collector.ads +++ b/src/kompsos-collector.ads @@ -43,8 +43,6 @@ private type Graph_Access is access all Goal_Graph; type Constant_Graph_Access is access constant Goal_Graph; - type State_Access is access State; - type Eval_Data (Kind : Node_Kind := Unify_Node) is record -- cgit