Rename os_facts.lp to os_compatibility.lp (#31206)
Follow-up from #31170
This commit is contained in:
parent
5698846619
commit
11d71ca85e
@ -631,7 +631,7 @@ def visit(node):
|
|||||||
|
|
||||||
# Load the file itself
|
# Load the file itself
|
||||||
self.control.load(os.path.join(parent_dir, 'concretize.lp'))
|
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"))
|
self.control.load(os.path.join(parent_dir, "display.lp"))
|
||||||
timer.phase("load")
|
timer.phase("load")
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user