From: Ben Pfaff <blp@cs.stanford.edu>
Date: Wed, 17 May 2006 21:51:50 +0000 (+0000)
Subject: Fix typo.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=00b0929dd45d65342c83103a7f5201f9b094c99c;hp=00b0929dd45d65342c83103a7f5201f9b094c99c;p=pintos-anon

Fix typo.
---