From: Ben Pfaff <blp@cs.stanford.edu>
Date: Thu, 12 May 2005 04:15:47 +0000 (+0000)
Subject: Fix line wrapping.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=commitdiff_plain;h=963a79ddeed5f3cbeab4a487b3fdb20c6d0044b7

Fix line wrapping.
---

diff --git a/src/filesys/file.c b/src/filesys/file.c
index e8818c0..a0028ec 100644
--- a/src/filesys/file.c
+++ b/src/filesys/file.c
@@ -67,8 +67,7 @@ file_read (struct file *file, void *buffer, off_t size)
    Returns the number of bytes actually read,
    which may be less than SIZE if end of file is reached. */
 off_t
-file_read_at (struct file *file, void *buffer_, off_t size,
-              off_t file_ofs) 
+file_read_at (struct file *file, void *buffer_, off_t size, off_t file_ofs) 
 {
   uint8_t *buffer = buffer_;
   off_t bytes_read = 0;