From e3acada131f71de367def8d604caacf042a1796f Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Sun, 19 Dec 2021 20:31:36 +0900 Subject: Update README.md --- README.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index b1fd8e2..0cdc654 100644 --- a/README.md +++ b/README.md @@ -55,13 +55,13 @@ Inpla is a multi-threaded parallel interpreter of interaction nets. Once you wri $ make ``` - - Multi-thread version: Use `make` with `thread` option (it may also need `make clear` before that): + - Multi-thread version: Use `make` with `thread` option: ``` $ make thread ``` - - + + To get the single-thread version again, use `make clean; make`. ## How to Execute -- cgit v1.2.3