minor logic error

StanfordVL · Feb 8, 2024 · 1ffded6 · 1ffded6
1 parent e26c8d6
commit 1ffded6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/bddl/activity_definitions/buying_groceries/problem0.bddl b/bddl/activity_definitions/buying_groceries/problem0.bddl
@@ -68,7 +68,7 @@
             (forall
                 (?plastic_bag.n.01 - plastic_bag.n.01)
                 (imply 
-                    (inside ?carton__of__milk.n.01_1 ?plastic_bag.n.01_1) 
+                    (inside ?carton__of__milk.n.01_1 ?plastic_bag.n.01) 
                     (not 
                         (inside ?banana.n.02_1 ?plastic_bag.n.01)
                     )