diff options
Diffstat (limited to 'byterun/misc.c')
| -rw-r--r-- | byterun/misc.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/byterun/misc.c b/byterun/misc.c index 2957cd24a..e6fb432f2 100644 --- a/byterun/misc.c +++ b/byterun/misc.c @@ -21,7 +21,7 @@ #ifdef DEBUG -void failed_assert (char * expr, char * file, int line) +void caml_failed_assert (char * expr, char * file, int line) { fprintf (stderr, "file %s; line %d ### Assertion failed: %s\n", file, line, expr); @@ -148,7 +148,7 @@ char *aligned_malloc (asize_t size, int modulo, void **block) { char *raw_mem; unsigned long aligned_mem; - Assert (modulo < Page_size); + Assert (modulo < Page_size); raw_mem = (char *) malloc (size + Page_size); if (raw_mem == NULL) return NULL; *block = raw_mem; |