Skip to content

Commit

Permalink
Update test/blackbox-tests/test-cases/toplevel-plugin-fail2.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 dacd7d2 commit e1836d3
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions test/blackbox-tests/test-cases/toplevel-plugin-fail2.t
Original file line number Diff line number Diff line change
@@ -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 <<EOF
> (lang dune 3.7)
Expand Down

0 comments on commit e1836d3

Please sign in to comment.