diff options
Diffstat (limited to 'otherlibs/str/strstubs.c')
| -rw-r--r-- | otherlibs/str/strstubs.c | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/otherlibs/str/strstubs.c b/otherlibs/str/strstubs.c index 0b518dcbe0..ae86c91b65 100644 --- a/otherlibs/str/strstubs.c +++ b/otherlibs/str/strstubs.c @@ -13,7 +13,6 @@ /* $Id$ */ -#include <assert.h> #include <string.h> #include <ctype.h> #include <mlvalues.h> @@ -283,7 +282,7 @@ static int re_match(value re, break; } default: - assert(0); + caml_fatal_error ("impossible case in re_match"); } /* Continue with next instruction */ continue; |