Skip to content
Permalink
Browse files

updated comments in rcc_continuous_process with single quotes

  • Loading branch information...
carmenchui committed Jun 20, 2018
1 parent 7de2407 commit bc3f8f4e19fb5567f3b0c6a2c58ea4ae91debb6e
Showing with 1 addition and 1 deletion.
  1. +1 −1 ontologies/rcc_continuous_process/continuous.clif
@@ -3,7 +3,7 @@
(cl-imports http://colore.oor.net/rcc_continuous_process/rcc_state.clif)


(cl-comment "continuous.th:ax1")
(cl-comment 'continuous.th:ax1')
(forall (o x y)
(if (and (changes o (connect x y))
(or (changes o (connect x (compl y)))

0 comments on commit bc3f8f4

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.