From: Ben Pfaff Date: Sat, 11 Dec 2010 17:55:04 +0000 (-0800) Subject: free-map: Replace U+00A0 "hard spaces" by ordinary ASCII spaces. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=1c1ba5004651e049738a8668746d5556b3de3c16;p=pintos-anon free-map: Replace U+00A0 "hard spaces" by ordinary ASCII spaces. Reported by Borja Sotomayor . --- diff --git a/src/filesys/free-map.c b/src/filesys/free-map.c index db0dc4a..29ea4df 100644 --- a/src/filesys/free-map.c +++ b/src/filesys/free-map.c @@ -22,8 +22,8 @@ free_map_init (void) /* Allocates CNT consecutive sectors from the free map and stores the first into *SECTORP. Returns true if successful, false if not enough consecutive -   sectors were available or if the free_map file could not be -   written. */ + sectors were available or if the free_map file could not be + written. */ bool free_map_allocate (size_t cnt, block_sector_t *sectorp) {