X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=doc%2Freference.texi;h=88e20f9245deaeb830a8aa03efa25a9317ef7b21;hp=432bc8658d7bf41409d52919f7b7bf4dffe97ccf;hb=b9713669e0613652b1ff53601345decf5584ab23;hpb=12d423a1973d59006cd7ffbf8b71cd7409d04703

diff --git a/doc/reference.texi b/doc/reference.texi
index 432bc86..88e20f9 100644
--- a/doc/reference.texi
+++ b/doc/reference.texi
@@ -203,7 +203,7 @@ the kernel command line, such as @command{run} to run a test (in project
 1) or a user program (in later projects).
 
 Finally, if @option{-q} was specified on the kernel command line, we
-call @func{power_off} to terminate the machine simulator.  Otherwise,
+call @func{shutdown_power_off} to terminate the machine simulator.  Otherwise,
 @func{main} calls @func{thread_exit}, which allows any other running
 threads to continue running.