Skip to content
Browse files

updated comments in location_varzi with single quotes

  • Loading branch information...
carmenchui committed Jun 20, 2018
1 parent c1fafcc commit ea3a63b5ee93f97fdaa626e2c373b166f1431c85
Showing with 1 addition and 1 deletion.
  1. +1 −1 ontologies/location_varzi/definitions/location_def.clif
@@ -13,7 +13,7 @@
(and (part z x)
(L z y)))))

(cl-comment "equivalent to (EL x y)")
(cl-comment 'equivalent to (EL x y)')

(forall (x y)
(iff (WL x y)

0 comments on commit ea3a63b

Please sign in to comment.
You can’t perform that action at this time.