diff --git a/bin/runtest.ml b/bin/runtest.ml index 0b67f3c6f19c..f7e872256a6d 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