Skip to content

Commit

Permalink
corrected comments
Browse files Browse the repository at this point in the history
  • Loading branch information
@carmenchui
carmenchui committed Jul 29, 2017
1 parent 5334ea7 commit 554c837
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion ontologies/cardworld/cardworld_edge.clif
View file
Expand Up @@ -2,7 +2,7 @@


(cl-imports http://colore.oor.net/cardworld/cardworld_part.clif) (cl-imports http://colore.oor.net/cardworld/cardworld_part.clif)


(cl-comment 'Each point is part of some edge') (cl-comment 'Each point is part of some edge.')
(forall (p) (forall (p)
(if (point p) (if (point p)
(exists (e) (exists (e)
Expand Down

0 comments on commit 554c837

Please sign in to comment.