Mercurial > hg > CbC > old > DPP

diff ltl.cbc @ 7:171cc032eb29

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix tableau2
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Fri, 25 Dec 2015 18:31:20 +0900
parents d4bc23cb728b
children cef74c1054c1
line wrap: on
line diff
--- a/ltl.cbc	Fri Dec 25 18:19:55 2015 +0900
+++ b/ltl.cbc	Fri Dec 25 18:31:20 2015 +0900
@@ -16,7 +16,7 @@
     return 1;
 }
 
-code check(int *always_flag, PhilsPtr phils, TaskPtr list)
+__code check(int *always_flag, PhilsPtr phils, TaskPtr list)
 {
     if (p(list->phils)) {
 	*always_flag = 0;