Commits

Shlomi Fish  committed 674c505

Fix a gcc warning.

About uninitialized variable. Cannot really happen, but does not hurt.

  • Participants
  • Parent commits d14ed8b

Comments (0)

Files changed (1)

File fc-solve/source/depth_dbm_solver.c

     int trace_num;
     int i;
     fcs_state_keyval_pair_t state;
-    unsigned char move;
+    unsigned char move = '\0';
     char * state_as_str;
     char move_buffer[500];
     DECLARE_IND_BUF_T(indirect_stacks_buffer)