fix lint errors

2022-01-24 18:16:38 +03:00
parent 378a1f513e
commit d5e3611e85
1 changed files with 1 additions and 1 deletions
--- a/extras/profiling/README.md
+++ b/extras/profiling/README.md
@ -11,7 +11,7 @@ Ensure the following requirements are satisfied:

 Then, run the `extras/benchmarks/run.py`:

-```
+```console
 $ python extras/profiling/run.py
 ```