From: Godmar Back Date: Sun, 23 Sep 2007 15:40:23 +0000 (+0000) Subject: fixed typo: "pass" should be "fail" X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=b47827fe69fdc8e486c91e094765cd94f3070086;hp=b47827fe69fdc8e486c91e094765cd94f3070086;p=pintos-anon fixed typo: "pass" should be "fail" ---