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
index bb54487..9bbb8b3 100644
--- 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,