Skip to content

Commit

Permalink
Update test/blackbox-tests/test-cases/toplevel-plugin-fail.t
Browse files Browse the repository at this point in the history
Co-authored-by: Christine Rose <[email protected]>
Signed-off-by: Richard L Ford <[email protected]>
  • Loading branch information
richardlford and christinerose authored Mar 7, 2023
1 parent 48eb011 commit dacd7d2
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions test/blackbox-tests/test-cases/toplevel-plugin-fail.t
Original file line number Diff line number Diff line change
@@ -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 <<EOF
> (lang dune 3.7)
Expand Down

0 comments on commit dacd7d2

Please sign in to comment.