From 03d7d92b4c401b553bc64da535b0621da67f6cc4 Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Sat, 5 Feb 2022 17:45:53 +0900 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 e2693fa..0a3f75b 100644 --- a/README.md +++ b/README.md @@ -96,7 +96,7 @@ Inpla is a multi-threaded parallel interpreter of interaction nets. Once you wri ``` ### Interactive mode (multi-thread version) -* There is an execution option `-t` in order to specify the number of threads in a thread pool. For instance, by invoking with `-t 4` Inpla populates 4 threads in the thread pool: +* There is an execution option `-t` that specifies the number of threads in a thread pool. For instance, by invoking with `-t 4` Inpla populates 4 threads in the thread pool: ``` $ ./inpla -t 4 -- cgit v1.2.3