X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Foutput%2Foutput.c;h=58750724ccda57f332f48c79bead89c465158927;hb=12219168a9ece27a11d652ae82c8e7d65e1be98f;hp=3f1dd904b4746131a395c6d34b14e87b062463f2;hpb=baf657198fcf0cabe289246dc07a82da67c86f5b;p=pspp-builds.git

diff --git a/src/output/output.c b/src/output/output.c
index 3f1dd904..58750724 100644
--- a/src/output/output.c
+++ b/src/output/output.c
@@ -1096,10 +1096,10 @@ outp_drivers (struct outp_driver *d)
   return d;
 }
 
-/* Enables (if ENABLE is nonzero) or disables (if ENABLE is zero) the
+/* Enables (if ENABLE is true) or disables (if ENABLE is false) the
    device(s) given in mask DEVICE. */
 void
-outp_enable_device (int enable, int device)
+outp_enable_device (bool enable, int device)
 {
   if (enable)
     disabled_devices &= ~device;