diff options
-rw-r--r-- | lib/spack/spack/solver/asp.py | 2 | ||||
-rw-r--r-- | lib/spack/spack/solver/os_compatibility.lp (renamed from lib/spack/spack/solver/os_facts.lp) | 0 |
2 files changed, 1 insertions, 1 deletions
diff --git a/lib/spack/spack/solver/asp.py b/lib/spack/spack/solver/asp.py index bb05fb599e..38c03008e2 100644 --- a/lib/spack/spack/solver/asp.py +++ b/lib/spack/spack/solver/asp.py @@ -631,7 +631,7 @@ class PyclingoDriver(object): # Load the file itself self.control.load(os.path.join(parent_dir, 'concretize.lp')) - self.control.load(os.path.join(parent_dir, "os_facts.lp")) + self.control.load(os.path.join(parent_dir, "os_compatibility.lp")) self.control.load(os.path.join(parent_dir, "display.lp")) timer.phase("load") diff --git a/lib/spack/spack/solver/os_facts.lp b/lib/spack/spack/solver/os_compatibility.lp index e3d322b8f6..e3d322b8f6 100644 --- a/lib/spack/spack/solver/os_facts.lp +++ b/lib/spack/spack/solver/os_compatibility.lp |