Revise docstring.

aibasel · May 10, 2021 · 0501f0b · 0501f0b
1 parent 16d8b34
commit 0501f0b
Showing 1 changed file with 5 additions and 4 deletions.
diff --git a/downward/suites.py b/downward/suites.py
@@ -4,10 +4,11 @@
 
 
 def find_domain_file(benchmarks_dir, domain, problem):
-    """
-    Search for domain file in the directory *benchmarks_dir*/*domain*.
-    Check the following names: 'domain.pddl', 'pXX-domain.pddl', or the
-    full problem name preceeded by 'domain_'.
+    """Search for domain file in the directory *benchmarks_dir*/*domain*.
+
+    For a given problem filename "p01.pddl", check the following domain
+    filenames: "domain.pddl", "p01-domain.pddl", "domain_p01.pddl" and
+    "domain-p01.pddl".
     """
     domain_basenames = [
         "domain.pddl",