Fix comments

h2r · Dec 12, 2022 · 2365830 · 2365830
1 parent f30b501
commit 2365830
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/oo_scoping/examples/domains/minecraft3/minecraft-contrived3-cam.pddl b/oo_scoping/examples/domains/minecraft3/minecraft-contrived3-cam.pddl
@@ -849,7 +849,7 @@
         (are-seq ?n_blocks_start ?n_blocks_end)
         ; (= (block-hits ?b) 2) ;; convert to >= since > is impossible anyway
         (block-has-n-hits ?b ?n_hits_start)
-        (exists ; we can count backwards 3 from n_hits_start (b/c >= 2)
+        (exists ; we can count backwards 2 from n_hits_start (b/c >= 2)
             (?n_hits_minus_one ?n_hits_minus_two)
             (and
                 (are-seq ?n_hits_minus_one ?n_hits_start)
@@ -907,7 +907,7 @@
             )
         )
         (are-seq ?n_hits_start ?n_hits_end) ; b/c we want to increase n_hits
-        ; (>= ( agent-num-diamond-axe ?ag ) 1)
+        ; ( >= ( agent-num-diamond-axe ?ag ) 1)
         (agent-has-n-diamond-axes ?ag ?n_axes)
         (exists (?n_axes_minus_one) (are-seq ?n_axes_minus_one ?n_axes))
     )