Permalink
Browse files

fixed typo in bipartite_def

  • Loading branch information...
carmenchui committed May 25, 2016
1 parent b536966 commit 958baf4ed3fc47c097517c5378d9b9094d4cccfc
Showing with 1 addition and 1 deletion.
  1. +1 −1 ontologies/bipartite_incidence/definitions/bipartite_def.clif
@@ -7,7 +7,7 @@
(iff (collinear p1 p2)
(and (point p1)
(point p2)
(p1 != p2)
(not (= p1 p2))
(exists (l)
(and (line l)
(in p1 l)

0 comments on commit 958baf4

Please sign in to comment.