aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--README.org2
1 files changed, 1 insertions, 1 deletions
diff --git a/README.org b/README.org
index 02eb8c8..b199da5 100644
--- a/README.org
+++ b/README.org
@@ -110,7 +110,7 @@ following:
** Citation
-If you use Vericert in any ways, please cite it using our [[https://yannherklotz.com/papers/fvhls_oopsla21.pdf][OOPSLA'21 paper]]:
+If you use Vericert in any way, please cite it using our [[https://yannherklotz.com/papers/fvhls_oopsla21.pdf][OOPSLA'21 paper]]:
#+begin_src bibtex
@inproceedings{herklotz21_fvhls,