X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2F44bsd.texi;h=4d61c17afb995b8daf753c6a57ad42f4d1419bf8;hb=9018e28b2292aef7055eff62d48aa814ad180b12;hp=b99f3ca897691fc0e9892ebf278cb3b51117c624;hpb=f07e0fe437b33046a3ee36c5d2223d47eeabb5d8;p=pintos-anon

diff --git a/doc/44bsd.texi b/doc/44bsd.texi
index b99f3ca..4d61c17 100644
--- a/doc/44bsd.texi
+++ b/doc/44bsd.texi
@@ -314,7 +314,7 @@ q}:
 @tab @code{n * f}
 
 @item Convert @code{x} to integer (rounding down):
-@tab @code{x * f}
+@tab @code{x / f}
 
 @item Convert @code{x} to integer (rounding to nearest):
 @tab @code{(x + f / 2) / f}