From 82ca184265bb7d81e54a94af9b029cc03be5b3fd Mon Sep 17 00:00:00 2001 From: Richard L Ford Date: Tue, 7 Mar 2023 10:22:02 -0500 Subject: [PATCH] Update test/blackbox-tests/test-cases/toplevel-plugin-fail.t Co-authored-by: Christine Rose Signed-off-by: Richard L Ford --- test/blackbox-tests/test-cases/toplevel-plugin-fail.t | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/test/blackbox-tests/test-cases/toplevel-plugin-fail.t b/test/blackbox-tests/test-cases/toplevel-plugin-fail.t index 9d2bd6259b92..1b7669d2cbfe 100644 --- a/test/blackbox-tests/test-cases/toplevel-plugin-fail.t +++ b/test/blackbox-tests/test-cases/toplevel-plugin-fail.t @@ -1,6 +1,6 @@ Testsuite for (toplevel that loads plugins). This version -uses dune-site.dynlink which uses Dynlink.loadfile. -This is not allowed in top-levels, so it fails. +uses ``dune-site.dynlink`` which uses ``Dynlink.loadfile``. +This is not allowed in toplevels, so it fails. $ cat > dune-project < (lang dune 3.7)