Update README.md

runtimeverification · Nov 19, 2018 · f61a2b1 · f61a2b1
1 parent 0104033
commit f61a2b1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -176,6 +176,6 @@ The last command initiates the verification task and may take a while to execute
 
 ## Getting Help
 
-Feel free to report GitHub issues or to contact us at: [contact@runtimeverification.com](contact@runtimeverification.com).
+Feel free to report GitHub issues or to contact us at: [contact@runtimeverification.com](mailto:contact@runtimeverification.com).