diff options
Diffstat (limited to 'src/sys/init/init_main.C')
| -rw-r--r-- | src/sys/init/init_main.C | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/sys/init/init_main.C b/src/sys/init/init_main.C index 5a7cf16ae..6292500e3 100644 --- a/src/sys/init/init_main.C +++ b/src/sys/init/init_main.C @@ -33,7 +33,7 @@ void init_main(void* unused) { printk( "ERROR: init_main: failed to launch initservice: %d\n", tidrc ); - assert( 0 ); // stop here. + crit_assert( 0 ); // stop here. } // should never reach this point... |
