}else{
return 1;
}
- }
+ }
if(s1->regions[i]->start_addr != s2->regions[i]->start_addr){
if(XBT_LOG_ISENABLED(mc_liveness, xbt_log_priority_debug)){
XBT_DEBUG("Different start addr of program (s1 = %p, s2 = %p)", s1->regions[i]->start_addr, s2->regions[i]->start_addr);
return p;
}
-void MC_ddfs_init(){
+void MC_ddfs_init(void){
XBT_DEBUG("**************************************************");
XBT_DEBUG("Double-DFS init");