fixed left-over, now-wrong comment about how decrease in numeric priority means incre...

[pintos-anon] / src / userprog / syscall.h

#ifndef USERPROG_SYSCALL_H
#define USERPROG_SYSCALL_H

void syscall_init (void);

#endif /* userprog/syscall.h */