Enabled output generation in the GUI.
[pspp-builds.git] / src / output / output.c
index 3f1dd904b4746131a395c6d34b14e87b062463f2..58750724ccda57f332f48c79bead89c465158927 100644 (file)
@@ -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;