Improve README

informalsystems · Feb 10, 2021 · 60e4aba · 60e4aba
1 parent 5d6bf08
commit 60e4aba
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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