diff options
Diffstat (limited to '')
| -rw-r--r-- | README.md | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -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 |
