diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-09-15 16:22:31 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-09-15 16:22:31 +0100 |
commit | ac3682113bde3dc6fc496c2dc566a019b942af53 (patch) | |
tree | 798e6c3c081559faeea7f1e0ec67b51f3cc6100f | |
parent | 4def81ab50d8239320e7c8c71c80844050fb1111 (diff) | |
download | vericert-ac3682113bde3dc6fc496c2dc566a019b942af53.tar.gz vericert-ac3682113bde3dc6fc496c2dc566a019b942af53.zip |
Fix a typo in README.org
-rw-r--r-- | README.org | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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, |