X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Foutput%2Foutput.h;h=f7504bce0dba4dd48c80ac77c887d0da8c0cb12d;hb=12219168a9ece27a11d652ae82c8e7d65e1be98f;hp=7215cb6ca3797cb3f006437a9278791ed503854e;hpb=0085c7edf6d3b9c9ee2ce880893023c567886101;p=pspp-builds.git

diff --git a/src/output/output.h b/src/output/output.h
index 7215cb6c..f7504bce 100644
--- a/src/output/output.h
+++ b/src/output/output.h
@@ -142,7 +142,7 @@ void outp_configure_macro (char *);
 
 void outp_list_classes (void);
 
-void outp_enable_device (int enable, int device);
+void outp_enable_device (bool enable, int device);
 struct outp_driver *outp_drivers (struct outp_driver *);
 
 bool outp_parse_options (struct substring options,