forgot to mention the type

hklarner · May 5, 2017 · 71cf8a8 · 71cf8a8
1 parent 0dcc1da
commit 71cf8a8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/NuSMV-2.6.0/NuSMV/code/nusmv/core/mc/mcAc.c b/NuSMV-2.6.0/NuSMV/code/nusmv/core/mc/mcAc.c
@@ -124,7 +124,7 @@ void print_accepting_states(NuSMVEnv_ptr env,
          index = lev;
     */
 
-    index = lev;
+    int index = lev;
 
     if(BddEnc_has_var_at_index(enc, index)) {
       inames[lev] = (const char*) sprint_node(wffprint,