From dd315e16dd47ccc92bc0e96760eab7ea90eb6bc2 Mon Sep 17 00:00:00 2001
From: Michael McInerney <michael.mcinerney@proofcraft.systems>
Date: Mon, 15 Jan 2024 18:13:01 +1030
Subject: [PATCH] lib: add Heap_List to ROOT

Signed-off-by: Michael McInerney <michael.mcinerney@proofcraft.systems>
---
 lib/ROOT | 1 +
 1 file changed, 1 insertion(+)

diff --git a/lib/ROOT b/lib/ROOT
index 9ff4b9c4a1..5a2970e13a 100644
--- a/lib/ROOT
+++ b/lib/ROOT
@@ -67,6 +67,7 @@ session Lib (lib) = Word_Lib +
     Value_Type
     Named_Eta
     Rules_Tac
+    Heap_List
 
     (* should move to Monads: *)
     NonDetMonadLemmaBucket