diff options
Diffstat (limited to 'testsuite/tests/lib-dynlink-csharp/main.ml')
| -rwxr-xr-x | testsuite/tests/lib-dynlink-csharp/main.ml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/testsuite/tests/lib-dynlink-csharp/main.ml b/testsuite/tests/lib-dynlink-csharp/main.ml index fd48914a6f..ad46188277 100755 --- a/testsuite/tests/lib-dynlink-csharp/main.ml +++ b/testsuite/tests/lib-dynlink-csharp/main.ml @@ -17,7 +17,6 @@ let () = "../../../otherlibs/bigarray/bigarray.cma", "plugin.cmo" in - load s1; + load s1; load s2; print_endline "OK." - |