diff --git a/README.md b/README.md index 3cd6943..225c1f6 100644 --- a/README.md +++ b/README.md @@ -10,7 +10,7 @@ The __grzb__ verifier implements both partial and total correctness rules of the While programs are written in LISP-y syntax: -Emacs in grzb mode +Emacs in grzb mode In terminal: