From 6e87e1822faad54b8652e46b0d75ab6776fdef73 Mon Sep 17 00:00:00 2001 From: Rudi Grinberg Date: Thu, 31 Oct 2024 20:54:45 +0000 Subject: [PATCH] _ Signed-off-by: Rudi Grinberg --- bin/runtest.ml | 1 - 1 file changed, 1 deletion(-) diff --git a/bin/runtest.ml b/bin/runtest.ml index 0b67f3c6f19..f7e872256a6 100644 --- a/bin/runtest.ml +++ b/bin/runtest.ml @@ -101,7 +101,6 @@ let runtest_term = (* If the path is in the source tree, we disambiguate it. *) Action_builder.return (`Runtest dir) in - (* In either case, we just call the alias. *) Alias.request @@ match alias_kind with