diff --git a/runtime/runtime.c b/runtime/runtime.c index 0595c8b5c..4a80f6e34 100644 --- a/runtime/runtime.c +++ b/runtime/runtime.c @@ -956,7 +956,7 @@ extern void* Bstring (void *p) { extern void* Lstringcat (void *p) { void *s; - ASSERT_BOXED("stringcat", p); + /* ASSERT_BOXED("stringcat", p); */ __pre_gc (); diff --git a/src/version.ml b/src/version.ml index 11b95bf31..849feb42d 100644 --- a/src/version.ml +++ b/src/version.ml @@ -1 +1 @@ -let version = "Version 1.10, 8359b674f, Sat Mar 20 13:46:03 2021 +0300" +let version = "Version 1.10, 849162aa9, Wed Mar 24 18:51:25 2021 +0700"