Fix compiler warnings (including a serious bug)
commit68c3654e7dc5928fe2b58ed1960fa48f3bd6f308
authorCedric Bastoul <cedric.bastoul@unistra.fr>
Mon, 4 Aug 2014 20:45:09 +0000 (4 22:45 +0200)
committerCedric Bastoul <cedric.bastoul@unistra.fr>
Mon, 4 Aug 2014 20:45:09 +0000 (4 22:45 +0200)
tree5b72584a6d221d2145ad79d1b868c5c006cf8152
parentcebf0c9ced609cdac8bdaa7d17ae3e7418a5c352
Fix compiler warnings (including a serious bug)
source/candl.c
source/dependence.c
source/statement.c
source/util.c
source/violation.c