X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fstandards.texi;h=e7ed5686265f8bd94e89b496b7414f6192c631c3;hb=a3f360bff01c33a4c9167c35f30b760b3a5de8d5;hp=60aa21aa8afcaf82c348618227d3b51a83be6c0f;hpb=ce3467cf3112bb05c3e888036019a20db1b6ef9f;p=pintos-anon

diff --git a/doc/standards.texi b/doc/standards.texi
index 60aa21a..e7ed568 100644
--- a/doc/standards.texi
+++ b/doc/standards.texi
@@ -71,7 +71,7 @@ this function.
 
 @item
 Problem 1-4, the advanced scheduler.  We must be able to turn this on
-and off with a compile time directive.  You must use the macro name we
+and off with a compile-time directive.  You must use the macro name we
 specify for that part.  @xref{Problem 1-4 Advanced Scheduler}, for
 details.
 
@@ -140,7 +140,7 @@ the C compiler concatenates adjacent string literals:
 #include <inttypes.h>
 @dots{}
 int32_t value = @dots{};
-printf ("value=%08"PRId32"\n");
+printf ("value=%08"PRId32"\n", value);
 @end example
 @noindent
 The @samp{%} is not supplied by the @code{PRI} macros.  As shown