Add back ListHook and SetHook

runtimeverification · Jan 16, 2025 · 9cffbc7 · 9cffbc7
1 parent 2047517
commit 9cffbc7
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/pyk/src/pyk/k2lean4/Prelude.lean b/pyk/src/pyk/k2lean4/Prelude.lean
@@ -27,6 +27,8 @@ abbrev SortInt          : Type := Int
 abbrev SortString       : Type := String
 abbrev SortStringBuffer : Type := String
 
+abbrev ListHook (E : Type) : Type := List E
+abbrev SetHook (E : Type) : Type := List E
 
 namespace MapHookDef
 /-