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