dev: use correct delete operation in SimpleDisk
authorAli Saidi <Ali.Saidi@ARM.com>
Thu, 10 May 2012 23:04:27 +0000 (18:04 -0500)
committerAli Saidi <Ali.Saidi@ARM.com>
Thu, 10 May 2012 23:04:27 +0000 (18:04 -0500)
commite029941bda3d47585461d424b0c519adbfd02e6f
tree1bf855f5872132d5ca8e6f65ccc41db28bdda15b
parentd9b484b41a96201f58711e3f96616842a960997e
dev: use correct delete operation in SimpleDisk
src/dev/simple_disk.cc