diff options
| author | Shinya Sato <shinnya.sato@gmail.com> | 2021-12-19 20:31:36 +0900 |
|---|---|---|
| committer | Shinya Sato <shinnya.sato@gmail.com> | 2021-12-19 20:31:36 +0900 |
| commit | e3acada131f71de367def8d604caacf042a1796f (patch) | |
| tree | 8ac3ad09e4d05fa9aa90e8b5a385a71b7f957981 | |
| parent | 8ac973378341a72e3fabeb6f093c3d8fee41124f (diff) | |
| download | inpla-e3acada131f71de367def8d604caacf042a1796f.tar.gz inpla-e3acada131f71de367def8d604caacf042a1796f.zip | |
Update README.md
| -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 |