aboutsummaryrefslogtreecommitdiff
path: root/README.md
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--README.md6
1 files 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