Browse files

add comment

  • Loading branch information...
1 parent 361f55c commit 833e87641edac5d0a90c5d35f4fd83d5d3ab606b @bvds committed Mar 16, 2009
Showing with 1 addition and 0 deletions.
  1. +1 −0 KB/
@@ -2685,6 +2685,7 @@
(tinsidep-include-endpoints ?t ?t-at))
(not (given (dir (relative-position ?b2 ?b1 :time ?t-at)) . ?whatever)
(tinsidep-include-endpoints ?t ?t-at))
+ ;; test must be after the (not ...) or an error if ?b1 is unbound.
(test (not (equal ?b1 ?b2))) ;make sure the objects are distinct.
;; make sure this is not known to be zero-length from at-place stmt.
(not (at-place ?b1 ?b2 :time ?t-at) (tinsidep-include-endpoints ?t ?t-at))

0 comments on commit 833e876

Please sign in to comment.