diff options
Diffstat (limited to 'byterun/spacetime.c')
| -rw-r--r-- | byterun/spacetime.c | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/byterun/spacetime.c b/byterun/spacetime.c index 7d226dd38f..2b0bf1dc21 100644 --- a/byterun/spacetime.c +++ b/byterun/spacetime.c @@ -12,7 +12,6 @@ /* */ /**************************************************************************/ -#include <assert.h> #include "caml/fail.h" #include "caml/mlvalues.h" @@ -21,7 +20,6 @@ int caml_ensure_spacetime_dot_o_is_included = 42; CAMLprim value caml_spacetime_only_works_for_native_code(value foo, ...) { caml_failwith("Spacetime profiling only works for native code"); - assert(0); /* unreachable */ } uintnat caml_spacetime_my_profinfo (void) |