if(_sg_mc_visited > 0 || strcmp(_sg_mc_property_file,"")){
snapshot->stacks = MC_take_snapshot_stacks(&snapshot, snapshot->regions[0]->data);
- if(MC_USE_SNAPSHOT_HASH && snapshot->stacks!=NULL) {
+ if(_sg_mc_hash && snapshot->stacks!=NULL) {
snapshot->hash = mc_hash_processes_state(num_state, snapshot->stacks);
} else {
snapshot->hash = 0;