diff --git a/src/kernel_internals/parsing/tests/dune b/src/kernel_internals/parsing/tests/dune
index ba23e4861fb5a8289dc4e7fc5a1ae2af05299163..d77efd63c875dc4d3dd43be7f7f4ed3cb0997954 100644
--- a/src/kernel_internals/parsing/tests/dune
+++ b/src/kernel_internals/parsing/tests/dune
@@ -28,11 +28,11 @@
 )
 
 (rule
- (alias run-coding-tests)
+ (alias run-kernel-tests)
  (deps ../logic_parser.mly)
  (action  (run %{dep:./check_logic_parser.exe})))
 
 (alias
-  (deps (alias run-coding-tests) )
+  (deps (alias run-kernel-tests) )
   (name ptests)
 )