X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdevices%2Ftimer.c;h=9e1b4989c833b62cfcaa5a66032c1cae1124fec0;hb=654121cfc127bc8e1e9aa8859c2d68f0dc4330cb;hp=3724abf944ab4fbf7d53936cdbe822a2a7b9a5a5;hpb=2fb834e1f01b669851eee9e7a5598bc12df1e5ff;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. */