- if (dot_output == nullptr)
- XBT_DEBUG("State %ld already visited ! (equal to state %ld)", new_state->num, old_state->num);
- else
- XBT_DEBUG("State %ld already visited ! (equal to state %ld (state %ld in dot_output))", new_state->num,
- old_state->num, new_state->original_num);
+ XBT_DEBUG("State %ld already visited ! (equal to state %ld (state %ld in dot_output))", new_state->num,
+ old_state->num, new_state->original_num);