update kmir m4 eval

w3f · Nov 28, 2023 · e63b038 · e63b038
1 parent ad8c6ca
commit e63b038
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/evaluations/rv-kmir_4_takahser.md b/evaluations/rv-kmir_4_takahser.md
@@ -22,7 +22,7 @@
 
 ## Documentation Feedback
 
-- [ ] install instructions for the prerequsites are missing (python, pip, poetry)
+- [x] install instructions for the prerequsites ~~are missing~~ have been [added](https://github.com/runtimeverification/mir-semantics/issues/271) (python, pip, poetry)
 
 ## Docker Feedback