diff --git a/lib/spack/spack/solver/asp.py b/lib/spack/spack/solver/asp.py
index bb05fb599e2..38c03008e23 100644
--- a/lib/spack/spack/solver/asp.py
+++ b/lib/spack/spack/solver/asp.py
@@ -631,7 +631,7 @@ def visit(node):
 
         # 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
similarity index 100%
rename from lib/spack/spack/solver/os_facts.lp
rename to lib/spack/spack/solver/os_compatibility.lp