From 60e4aba3fba998c10243058095e54e97a7a7cfbb Mon Sep 17 00:00:00 2001
From: Vitor Enes <vitorenesduarte@gmail.com>
Date: Wed, 10 Feb 2021 20:06:51 +0100
Subject: [PATCH] Improve README

---
 modules/tests/README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/modules/tests/README.md b/modules/tests/README.md
index da1c7a3546..54e6491585 100644
--- a/modules/tests/README.md
+++ b/modules/tests/README.md
@@ -39,7 +39,7 @@ To generate a test from the `ICS02UpdateOKTest` assertion, we first define an in
 ICS02UpdateOKTestNeg == ~ICS02UpdateOKTest
 ```
 
-Then, we ask [`Apalache`], to prove it:
+Then, we ask `Apalache`, to prove it:
 
 ```bash
 apalache-mc check --inv=ICS02UpdateOKTestNeg IBCTests.tla