options_left is a bool not an int (#23)

Author: JHopeCollins

petsctools/options.py

@@ -287,7 +287,7 @@ def __init__(self, parameters: dict,
 
         # Decide whether to warn for unused options
         with self.inserted_options():
-            if self.options_object.getInt("options_left", 0) > 0:
+            if self.options_object.getBool("options_left", False):
                 weakref.finalize(self, _warn_unused_options,
                                  self.to_delete, self._used_options,
                                  options_prefix=self.options_prefix)