diff --git a/cvc5_pythonic_api/cvc5_pythonic.py b/cvc5_pythonic_api/cvc5_pythonic.py
index ffc4da5..15e0b9a 100644
--- a/cvc5_pythonic_api/cvc5_pythonic.py
+++ b/cvc5_pythonic_api/cvc5_pythonic.py
@@ -6337,7 +6337,7 @@ def getOptionInfo(self, name):
         >>> s = Solver()
         >>> s.setOption(incremental=False)
         >>> s.getOptionInfo("incremental")
-        {'name': 'incremental', 'aliases': [], 'setByUser': True, 'type': <class 'bool'>, 'current': False, 'default': True}
+        {'name': 'incremental', 'aliases': [], 'setByUser': True, 'category': <OptionCategory.COMMON: 2>, 'type': <class 'bool'>, 'current': False, 'default': True}
         """
         return self.solver.getOptionInfo(name)