X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdevices%2Ftimer.c;h=9e1b4989c833b62cfcaa5a66032c1cae1124fec0;hb=9a23b07779a919205f9a355c81b67b629e929575;hp=3724abf944ab4fbf7d53936cdbe822a2a7b9a5a5;hpb=251b51f76f0594460e1cfbf2c05576fb445b861b;p=pintos-anon

diff --git a/src/devices/timer.c b/src/devices/timer.c
index 3724abf..9e1b498 100644
--- a/src/devices/timer.c
+++ b/src/devices/timer.c
@@ -16,8 +16,7 @@
 #error TIMER_FREQ <= 1000 recommended
 #endif
 
-/* Number of timer ticks that a process gets before being
-   preempted. */
+/* Number of time ticks to elapse between process yields. */
 #define TIME_SLICE 1
 
 /* Number of timer ticks since OS booted. */