diff options
Diffstat (limited to 'byterun/meta.c')
-rw-r--r-- | byterun/meta.c | 6 |
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"); |