Update CONTRIBUTING.md

viperproject · Feb 10, 2021 · cd10dd8 · cd10dd8
1 parent 99a1957
commit cd10dd8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
@@ -1,3 +1,3 @@
 # Contributing
 
-Please refer to the [development guide](https://viperproject.github.io/prusti-dev/dev-guide).
+Please refer to the [developer guide](https://viperproject.github.io/prusti-dev/dev-guide).