X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=doc%2Fuserprog.texi;h=75123849b0622bcd7aa312a462cba104a36761de;hb=01711714d48e7c2383da109c6af92aebe552eae6;hp=b7d356ff0790b13b639ea1072429decc78e324dc;hpb=0b4bd9f20133f913799b2b87d3f3208a2636e408;p=pintos-anon

diff --git a/doc/userprog.texi b/doc/userprog.texi
index b7d356f..7512384 100644
--- a/doc/userprog.texi
+++ b/doc/userprog.texi
@@ -799,6 +799,12 @@ Here's a summary of our reference solution, produced by the
 @command{diffstat} program.  The final row gives total lines inserted
 and deleted; a changed line counts as both an insertion and a deletion.
 
+The reference solution represents just one possible solution.  Many
+other solutions are also possible and many of those differ greatly from
+the reference solution.  Some excellent solutions may not modify all the
+files modified by the reference solution, and some may modify files not
+modified by the reference solution.
+
 @verbatim
  threads/thread.c     |   13 
  threads/thread.h     |   26 +