From ac3682113bde3dc6fc496c2dc566a019b942af53 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Wed, 15 Sep 2021 16:22:31 +0100 Subject: Fix a typo in README.org --- README.org | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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, -- cgit