Mercurial > hg > CbC > old > DPP

comparison ltl.cbc @ 9:cef74c1054c1

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Remove warnings in tableau3
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Fri, 25 Dec 2015 18:47:23 +0900
parents 171cc032eb29
children 35d0358b3fe6
comparison
equal deleted inserted replaced
8:a15437a1e94c 9:cef74c1054c1
1 #include <stdio.h> 1 #include <stdio.h>
2 #include "ltl.h"
2 #include "queue.h" 3 #include "queue.h"
3 #include "dpp_common.h" 4 #include "dpp_common.h"
4 5
5 static int 6 static int
6 p(PhilsPtr phils) 7 p(PhilsPtr phils)