From 2223f4296a7f387532cb1cc2be28c034feebc0fa Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Sun, 19 Dec 2021 20:32:28 +0900 Subject: Update README.md --- README.md | 1 - 1 file changed, 1 deletion(-) 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 -- cgit v1.2.3