From: John Darrington <john@darrington.wattle.id.au>
Date: Sat, 30 Mar 2013 10:05:52 +0000 (+0100)
Subject: Fixed some memory leaks
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=123116b9b5eaa8cbee3bf9dbeaad6d08e934b258;hp=123116b9b5eaa8cbee3bf9dbeaad6d08e934b258;p=pspp

Fixed some memory leaks
---