Adjusting notes

RAIRLab · Nov 3, 2023 · 7bbf1b1 · 7bbf1b1
1 parent 48971ad
commit 7bbf1b1
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/main/java/org/rairlab/planner/heuristics/DeletePrecondRelax.java b/src/main/java/org/rairlab/planner/heuristics/DeletePrecondRelax.java
@@ -22,8 +22,8 @@
  * I think in this case, we keep it as free variables.
  * (Gotta make sure it's fresh and distinct wrt to the other formulae)
  *
- * Then for the goal condition check we see if the two
- * formulas "unify" with each other...
+ * Then for the goal condition check we see if the the
+ * state one-side matches with the goal.
  */
 public class DeletePrecondRelax {