Update valgrind.md

RaniAgus · Mar 28, 2024 · 49746c7 · 49746c7
1 parent 5815058
commit 49746c7
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/docs/guia/valgrind.md b/docs/guia/valgrind.md
@@ -15,8 +15,8 @@ una regla `memcheck`:
 ```bash
 make memcheck
 ```
-Este comando se puede configurar editando la regla `MEMCHECK_FLAGS` del archivo
-`settings.mk`:
+Este comando se puede configurar editando la variable `MEMCHECK_FLAGS` del
+archivo `settings.mk`:
 
 ```makefile
 # Valgrind flags
@@ -31,8 +31,8 @@ una regla `helgrind`:
 ```bash
 make helgrind
 ```
-Este comando se puede configurar editando la regla `HELGRIND_FLAGS` del archivo
-`settings.mk`:
+Este comando se puede configurar editando la variable `HELGRIND_FLAGS` del
+archivo `settings.mk`:
 
 ```makefile
 # Valgrind flags