summaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
Diffstat (limited to 'lib')
-rw-r--r--lib/spack/spack/solver/asp.py8
1 files changed, 4 insertions, 4 deletions
diff --git a/lib/spack/spack/solver/asp.py b/lib/spack/spack/solver/asp.py
index bc26619d6c..4650255271 100644
--- a/lib/spack/spack/solver/asp.py
+++ b/lib/spack/spack/solver/asp.py
@@ -566,10 +566,6 @@ class PyclingoDriver(object):
setup.setup(self, specs)
timer.phase("setup")
- # If we're only doing setup, just return an empty solve result
- if setup_only:
- return Result(specs)
-
# read in the main ASP program and display logic -- these are
# handwritten, not generated, so we load them as resources
parent_dir = os.path.dirname(__file__)
@@ -588,6 +584,10 @@ class PyclingoDriver(object):
path = os.path.join(parent_dir, 'concretize.lp')
parse_files([path], visit)
+ # If we're only doing setup, just return an empty solve result
+ if setup_only:
+ return Result(specs)
+
# Load the file itself
self.control.load(os.path.join(parent_dir, 'concretize.lp'))
self.control.load(os.path.join(parent_dir, "display.lp"))