X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2F44bsd.texi;h=208dcd47cfccc100854419f58878eb33ffe42d41;hb=ab4614c8c49aeb51a96db84c58ac9970851a36f6;hp=d066ee7f6806ed579db59095572818173d5bc7a8;hpb=01fc397d8f2428ec58c36a987d475cc6791cfca6;p=pintos-anon

diff --git a/doc/44bsd.texi b/doc/44bsd.texi
index d066ee7..208dcd4 100644
--- a/doc/44bsd.texi
+++ b/doc/44bsd.texi
@@ -160,7 +160,7 @@ weight of @math{a} at time @math{t+1}, @am{a^2, a**2} at time
 @math{f(t)} has a weight of approximately @math{1/e} at time @math{t+k},
 approximately @am{1/e^2, 1/e**2} at time @am{t+2k, t+2*k}, and so on.
 From the opposite direction, @math{f(t)} decays to weight @math{w} at
-@am{t = \log_aw, t = ln(w)/ln(a)}.
+time @am{t + \log_aw, t + ln(w)/ln(a)}.
 
 The initial value of @var{recent_cpu} is 0 in the first thread
 created, or the parent's value in other new threads.  Each time a timer