From 254ad970d0a109237393fa06e90521db969f8b83 Mon Sep 17 00:00:00 2001 From: Claudio Maggioni Date: Sun, 15 Oct 2023 22:24:51 +0200 Subject: [PATCH] pardon my grammar (and thanks to JetBrains) --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index ee7666e..421cf9e 100644 --- a/README.md +++ b/README.md @@ -13,7 +13,7 @@ Go to [this Lab on iCorsi](https://www.icorsi.ch/course/view.php?id=16963). **NOTE:** the combined PDF with all CFGs, one per method, can be found in `test-output/all.pdf`. Method CFGs are laid in side-by-side as I was not able to generate a one-per-page PDF as instructed. I told this to Prof. Hauswirth -on wednesday, and I was told to ask to Mr. Di Lauro if this layout was fine too, but I forgot. So, I'd like to apologize if this causes any inconvenience. +on wednesday, and I was told to ask Mr. Di Lauro if this layout was fine too, but I forgot. So, I'd like to apologize if this causes any inconvenience. ## Submission Checklist