update

kupl · Apr 3, 2024 · ae4bd4e · ae4bd4e
1 parent 11732f1
commit ae4bd4e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/content/courses/cose419/2024/_index.md b/content/courses/cose419/2024/_index.md
@@ -32,7 +32,7 @@ title = 'COSE419-24S'
     - Video: [(1)](https://youtu.be/ImigmSCqyUE) [(2)](https://youtu.be/-sBjLmDF4Wk) [(3)](https://youtu.be/-fDGoz2ebb8)
 - Problem Solving using SMT Solver 
     - Slides [lec5.pdf](./slides/lec5.pdf)
-    - Video: [(1)](https://youtu.be/hyebtnoNvrE)
+    - Video: [(1)](https://youtu.be/hyebtnoNvrE) [(2)](https://youtu.be/AcWXRPhsL7E)
 
 ### Part 3: Abstract Interpretation