I noticed a couple of spots that used '0' rather than 'false' when
modifying pagination_enabled.  This patch cleans these up.
      going out we leave it that way.  */
   if (observer_mode)
     {
-      pagination_enabled = 0;
+      pagination_enabled = false;
       non_stop = non_stop_1 = true;
     }
 
 
   tab_expansion_file stream;
 
   scoped_restore save_pagination
-    = make_scoped_restore (&pagination_enabled, 0);
+    = make_scoped_restore (&pagination_enabled, false);
   scoped_restore save_stdout
     = make_scoped_restore (&gdb_stdout, &stream);