Skip to content
Permalink
Browse files

Update boxworld_edge.clif

removed line break (causes errors with translator)
  • Loading branch information...
carmenchui committed Jul 11, 2019
1 parent 28328fe commit 48950436f8e68ab7ca015d2eb2002e9ba71b11de
Showing with 1 addition and 2 deletions.
  1. +1 −2 ontologies/boxworld/boxworld_edge.clif
@@ -20,8 +20,7 @@
(part e s1) (part e s2) (part e s3))
(or (= s1 s2) (= s2 s3) (= s1 s3))))

(cl-comment 'A surface that is part of a box containing other surfaces also
contains a ridge.')
(cl-comment 'A surface that is part of a box containing other surfaces also contains a ridge.')
(forall (x s1 s2)
(if (and (box x) (surface s1) (surface s2) (not (= s1 s2))
(part s1 x) (part s2 x))

0 comments on commit 4895043

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