From e1836d38029bd1f21643fdab366e14b48210d9b0 Mon Sep 17 00:00:00 2001 From: Richard L Ford Date: Tue, 7 Mar 2023 10:22:23 -0500 Subject: [PATCH] Update test/blackbox-tests/test-cases/toplevel-plugin-fail2.t Co-authored-by: Christine Rose Signed-off-by: Richard L Ford --- test/blackbox-tests/test-cases/toplevel-plugin-fail2.t | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/test/blackbox-tests/test-cases/toplevel-plugin-fail2.t b/test/blackbox-tests/test-cases/toplevel-plugin-fail2.t index 238df68fdcab..f5ed743ba0e6 100644 --- a/test/blackbox-tests/test-cases/toplevel-plugin-fail2.t +++ b/test/blackbox-tests/test-cases/toplevel-plugin-fail2.t @@ -1,8 +1,8 @@ Testsuite for (toplevel that loads plugins). This version -still uses dune-site.dynlink, but only implicitly as it is +still uses ``dune-site.dynlink``, but only implicitly as it is the default implementation of the virtual library. -It uses Dynlink.loadfile. -This is not allowed in top-levels, so it fails. +It uses ``Dynlink.loadfile``. +This is not allowed in toplevels, so it fails. $ cat > dune-project < (lang dune 3.7)