aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--README.md1
1 files changed, 0 insertions, 1 deletions
diff --git a/README.md b/README.md
index 0cdc654..005eefe 100644
--- a/README.md
+++ b/README.md
@@ -60,7 +60,6 @@ Inpla is a multi-threaded parallel interpreter of interaction nets. Once you wri
```
$ make thread
```
-
To get the single-thread version again, use `make clean; make`.
## How to Execute