[minotaur] update README.md

minotaur-toolkit · Apr 25, 2024 · 2654540 · 2654540
1 parent a67b0b3
commit 2654540
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -112,8 +112,8 @@ synthesis on them.
 
 After running `cache-infer`, the cache will be populated with the
 optimizations that Minotaur discovered. User can run the `opt`,
-`minotaur-cc` or `minotaur-cxx`, again, to compile the program with
-the optimizations.
+`minotaur-cc`, `minotaur-cxx` or `make`  again, to compile the program
+with the synthesized optimizations.
 
 ### Dump synthesized results from cache