Rename main0 to main.

1 files changed, 1 insertions, 1 deletions

diff --git a/defs.h b/defs.h
index 8c4c665..7ed89ef 100644
--- a/defs.h
+++ b/defs.h
@@ -102,7 +102,7 @@ void            proc_exit(void);
 int             proc_kill(int);
 int             proc_wait(void);
 void            procdump(void);
-void            scheduler(void);
+void            scheduler(void) __attribute__((noreturn));
 void            setupsegs(struct proc*);
 void            sleep(void*, struct spinlock*);
 void            userinit(void);