fixed broken link for quint-cheatsheet.pdf in README.md

informalsystems · Nov 13, 2024 · 82a8bb7 · 82a8bb7
1 parent 76cb41b
commit 82a8bb7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/README.md b/docs/README.md
@@ -4,7 +4,7 @@
 
 - [Language tutorials](../tutorials/README.md)
 - [Syntax specification](./lang.md)
-- [Cheatsheet](./quint-cheatsheet.pdf)
+- [Cheatsheet](./public/quint-cheatsheet.pdf)
 - [API documentation for built-in operators](./builtin.md)
 
 ## Tooling