X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Foutput%2Fdriver.c;h=afb5084fa1d2abc0d76c59d77179fe5a86902b97;hb=f23b29294fe11981eca39360e9479ff25050b556;hp=81ef6690e5bcf3de7f88fcab4325ed4b3eeb0f69;hpb=256fe9e0bd31c0623cd9c439d7e6a9a04e9ef038;p=pspp

diff --git a/src/output/driver.c b/src/output/driver.c
index 81ef6690e5..afb5084fa1 100644
--- a/src/output/driver.c
+++ b/src/output/driver.c
@@ -378,7 +378,7 @@ output_driver_create (struct string_map *options)
                      device_string, "terminal", "listing");
       device_type = default_device_type (file_name);
     }
-  
+
   struct file_handle *fh = fh_create_file (NULL, file_name, NULL, fh_default_properties ());
 
   driver = f->create (fh, device_type, options);