Skip to content
Permalink
Browse files

updated comments in graphs with single quotes

  • Loading branch information...
carmenchui committed Jun 20, 2018
1 parent 1a79168 commit a2296443264734124288b51ee70ff8668df258b0
Showing with 1 addition and 1 deletion.
  1. +1 −1 ontologies/graphs/simple_graph.clif
@@ -2,7 +2,7 @@

(cl-imports http://colore.oor.net/graphs/undirected_graph.clif)

(cl-comment "Rules out loops. Through the using of the adjacency relations as primitive relations, no parallel edges are distinguished.")
(cl-comment 'Rules out loops. Through the using of the adjacency relations as primitive relations, no parallel edges are distinguished.')

(forall (x)
(not (adj x x)))

0 comments on commit a229644

Please sign in to comment.
You can’t perform that action at this time.
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session.