lib: add Heap_List to ROOT

Signed-off-by: Michael McInerney <[email protected]>
seL4 · Jan 16, 2024 · dd315e1 · dd315e1
1 parent 52b4ba5
commit dd315e1
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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