summaryrefslogtreecommitdiffstats
path: root/byterun/meta.c
diff options
context:
space:
mode:
Diffstat (limited to 'byterun/meta.c')
-rw-r--r--byterun/meta.c6
1 files changed, 0 insertions, 6 deletions
diff --git a/byterun/meta.c b/byterun/meta.c
index 22fe00845..18fc87094 100644
--- a/byterun/meta.c
+++ b/byterun/meta.c
@@ -131,12 +131,6 @@ value caml_realloc_global(value size)
return Val_unit; /* not reached */
}
-value caml_available_primitives(value unit)
-{
- caml_invalid_argument("Meta.available_primitives");
- return Val_unit; /* not reached */
-}
-
value caml_invoke_traced_function(value codeptr, value env, value arg)
{
caml_invalid_argument("Meta.invoke_traced_function");