From: John Darrington <john@darrington.wattle.id.au>
Date: Sun, 6 Jan 2013 18:27:04 +0000 (+0100)
Subject: fix compile issues
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;ds=sidebyside;h=4b46b5fd562333c1fb7566c66050bd2e92740170;hp=4b46b5fd562333c1fb7566c66050bd2e92740170;p=pspp

fix compile issues
---