diff --git a/teaching/2024/cs522/CS522-Spring-2024-Lambda-Maude.zip b/teaching/2024/cs522/CS522-Spring-2024-Lambda-Maude.zip
index 2417cb7..1706a15 100644
Binary files a/teaching/2024/cs522/CS522-Spring-2024-Lambda-Maude.zip and b/teaching/2024/cs522/CS522-Spring-2024-Lambda-Maude.zip differ