From 9cffbc7ff5f199f1fe603ff7e47bcaac82e600c4 Mon Sep 17 00:00:00 2001
From: Juan Conejero <juanconrod@protonmail.com>
Date: Thu, 16 Jan 2025 13:11:52 +0100
Subject: [PATCH] Add back `ListHook` and `SetHook`

---
 pyk/src/pyk/k2lean4/Prelude.lean | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/pyk/src/pyk/k2lean4/Prelude.lean b/pyk/src/pyk/k2lean4/Prelude.lean
index f233af6f77..31196456e7 100644
--- 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
 /-