From: John Darrington <john@darrington.wattle.id.au>
Date: Wed, 20 Feb 2008 23:14:10 +0000 (+0000)
Subject: Whitespace changes and remove unnecessary casts.
X-Git-Tag: v0.6.0~102
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=6f4d5b2819ec4fc3a19e553da8d8eee9b3e4d2e5;hp=6f4d5b2819ec4fc3a19e553da8d8eee9b3e4d2e5;p=pspp-builds.git

Whitespace changes and remove unnecessary casts.
---