From a345379cc11030c9d45a10757a77e70ab8840681 Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Sun, 24 Oct 2021 23:37:15 +0900 Subject: Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 7df6d28..833de58 100644 --- a/README.md +++ b/README.md @@ -187,7 +187,7 @@ $ make thread - Execution: ``` - $ ./inpla -f sample/isort.in + $ ./inpla -f sample/qsort.in Inpla 0.4.1 : Interaction nets as a programming language [built: 21 Sept. 2021] (22 interactions, 0.00 sec) [1,2,3,6,9] -- cgit v1.2.3