2 files changed, 2 insertions, 1 deletions
diff --git a/kernel/libc/exit/assert.c b/kernel/libc/exit/assert.c
index 47c0704..89aa863 100644
--- a/kernel/libc/exit/assert.c
+++ b/kernel/libc/exit/assert.c
@@ -8,4 +8,5 @@ __attribute__((__noreturn__)) void aFailed(char *f, int l) {
   kprintf("%s : %d\n", f, l);
   dump_backtrace(10);
   halt();
+  kprintf("after halt?\n");
 }
diff --git a/kernel/libc/string/copy.c b/kernel/libc/string/copy.c
index 166924b..11cd664 100644
--- a/kernel/libc/string/copy.c
+++ b/kernel/libc/string/copy.c
@@ -14,7 +14,7 @@ char *copy_and_allocate_string(const char *s) {
 
 char *copy_and_allocate_user_string(const char *s) {
   size_t len;
-  if (!is_valid_user_c_string(s, &len)) {
+  if (!mmu_is_valid_user_c_string(s, &len)) {
     return NULL;
   }
   size_t real_len = strlen(s);