fix setattr of configuration

potassco · May 7, 2024 · cce7f66 · cce7f66
1 parent 3d2f2b6
commit cce7f66
Showing 1 changed file with 4 additions and 5 deletions.
diff --git a/libpyclingo/clingo/configuration.py b/libpyclingo/clingo/configuration.py
@@ -155,11 +155,10 @@ def __getattr__(self, name: str) -> Union[None, str, "Configuration"]:
     def __setattr__(self, name: str, val) -> None:
         key = self._get_subkey(name)
         if key is None:
-            super().__setattr__(name, val)
-        else:
-            _handle_error(
-                _lib.clingo_configuration_value_set(self._rep, key, str(val).encode())
-            )
+            raise AttributeError(f"get attribute: {name}")
+        _handle_error(
+            _lib.clingo_configuration_value_set(self._rep, key, str(val).encode())
+        )
 
     def description(self, name: str) -> str:
         """