From 81d139453a441ad73905fd27fbad34484ca0c39e Mon Sep 17 00:00:00 2001
From: Andrea Censi <AndreaCensi@users.noreply.github.com>
Date: Wed, 2 Mar 2022 15:09:53 +0100
Subject: Update README.md

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

(limited to 'README.md')

diff --git a/README.md b/README.md
index 2da0866..210ca92 100644
--- a/README.md
+++ b/README.md
@@ -32,7 +32,7 @@ Create a new terminal using Terminal -> New Terminal.
 
 Run the following:
 
-    make check-TestSimpleIntro
+    act4e-check TestSimpleIntro
 
 This will have created a file `out-results/result-TestSimpleIntro.html`.
 
-- 
cgit v1.2.1