summaryrefslogtreecommitdiff
path: root/ocaml-binary-annot/testsuite/tests/lib-dynlink-bytecode/plug2.ml
diff options
context:
space:
mode:
Diffstat (limited to 'ocaml-binary-annot/testsuite/tests/lib-dynlink-bytecode/plug2.ml')
-rw-r--r--ocaml-binary-annot/testsuite/tests/lib-dynlink-bytecode/plug2.ml4
1 files changed, 4 insertions, 0 deletions
diff --git a/ocaml-binary-annot/testsuite/tests/lib-dynlink-bytecode/plug2.ml b/ocaml-binary-annot/testsuite/tests/lib-dynlink-bytecode/plug2.ml
new file mode 100644
index 0000000000..05f4fdaeda
--- /dev/null
+++ b/ocaml-binary-annot/testsuite/tests/lib-dynlink-bytecode/plug2.ml
@@ -0,0 +1,4 @@
+external stub2: unit -> unit = "stub2"
+
+
+let () = stub2 ()