diff options
Diffstat (limited to 'var/spack/repos/builtin/packages/clingo-bootstrap/package.py')
| -rw-r--r-- | var/spack/repos/builtin/packages/clingo-bootstrap/package.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/var/spack/repos/builtin/packages/clingo-bootstrap/package.py b/var/spack/repos/builtin/packages/clingo-bootstrap/package.py index 0d2914ae7d..0e77dde84b 100644 --- a/var/spack/repos/builtin/packages/clingo-bootstrap/package.py +++ b/var/spack/repos/builtin/packages/clingo-bootstrap/package.py @@ -50,7 +50,7 @@ class ClingoBootstrap(Clingo): return self.define("CLINGO_BUILD_PY_SHARED", "OFF") def cmake_args(self): - args = super(ClingoBootstrap, self).cmake_args() + args = super().cmake_args() args.extend( [ # Avoid building the clingo executable |