removed #inluce <stdio.h>, since no debug printf's anymore in these files
authorSamuel Hitz <samuel.hitz@gmail.com>
Tue, 29 May 2012 07:48:30 +0000 (09:48 +0200)
committerSamuel Hitz <samuel.hitz@gmail.com>
Tue, 29 May 2012 07:48:30 +0000 (09:48 +0200)
commitad826eef2f5e944023b3c5b97b71a96fd72bd82e
treefeccce353fe9adc68684a8bd4cac30e3b215e0b5
parentb17c0c6da5c57590e17a31231bc629df10a93bf4
removed #inluce <stdio.h>, since no debug printf's anymore in these files
lib/barrelfish/capabilities.c
lib/barrelfish/vspace/memobj_anon.c
lib/barrelfish/vspace/pinned.c
lib/barrelfish/vspace/vregion.c