Permalink
Browse files

Fixed typos in incidence bundles

  • Loading branch information...
michael.gruninger
michael.gruninger committed Jul 1, 2014
1 parent 641e7b2 commit ba96b0bf40d632852b55cafe6a6ff408894cbc33
Showing with 3 additions and 3 deletions.
  1. +2 −2 ontologies/incidence_bundle/nip_bundle.clif
  2. +1 −1 ontologies/incidence_bundle/wpl_bundle.clif
@@ -8,6 +8,6 @@
(in p x)
(point p))
(exists (y)
(tin x y p))))
(tin y x p))))
)
)
@@ -8,6 +8,6 @@
(in p x)
(point p))
(exists (y)
(tin y x p))))
(tin x y p))))
)

0 comments on commit ba96b0b

Please sign in to comment.