A small fix in HACKING.md.

1 year ago · a26f8b5fbd
parent 004fc681ad
commit a26f8b5fbd
1 changed files with 1 additions and 1 deletions
--- a/HACKING.md
+++ b/HACKING.md
@ -109,7 +109,7 @@ dune exec -- midml foo.midml
 ## Running the benchmark

 ```
-make benchmark
+make bench
 ```

 will print performance statistics. If you do a performance-impacting