correction de set_flag

config/cert_exp_33.c

@@ -16,6 +16,9 @@ void set_flag(int number, int *sign_flag)
   {
     *sign_flag = -1;
   }
+  else{
+    *sign_flag = 0;
+  }
   Frama_C_show_each_set_flag(number, *sign_flag);
 }