From a9af4a2fbbd18023e608a4ebe517f189721438a4 Mon Sep 17 00:00:00 2001 From: vczh Date: Sat, 6 Jan 2024 01:14:08 -0800 Subject: [PATCH] Update README.md --- Tools/README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Tools/README.md b/Tools/README.md index 63929bf9..24e567ea 100644 --- a/Tools/README.md +++ b/Tools/README.md @@ -19,7 +19,7 @@ - GacGen - GlrParserGen -**NOTE** Optimization is not turned on at this moment, tool performance could be slow especially for GacGen. You could change the makefile if you need to. +**NOTE**: Optimization is not turned on at this moment, tool performance could be slow especially for GacGen. You could change the makefile if you need to. ## macOS