Update index.md

Formal-Systems-Laboratory · Feb 8, 2024 · 64fdc2c · 64fdc2c
1 parent 94b5ea7
commit 64fdc2c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/teaching/2024/cs522/index.md b/teaching/2024/cs522/index.md
@@ -72,5 +72,5 @@ need* and more topics will be added.
     paper, by modifying [the provided Maude code for
     HW2](CS522-Spring-2024-Maude-HW2.zip)).
 
--   [Book material on IMP++: Challenging Big-Step SOS, Small-Step SOS, and
+-   (not needed for HW2) [Book material on IMP++: Challenging Big-Step SOS, Small-Step SOS, and
     Denotational Semantics](CS522-Spring-2024-IMP++.pdf)