Merge remote-tracking branch 'origin/mc'

Conflicts:
	src/mc/mc_checkpoint.c

diff --git a/src/mc/mc_checkpoint.c b/src/mc/mc_checkpoint.c
index 44c502d..e455677 100644 (file)
--- a/src/mc/mc_checkpoint.c
+++ b/src/mc/mc_checkpoint.c
@@ -67,8 +67,8 @@ void MC_free_snapshot(mc_snapshot_t snapshot){
   xbt_dynar_free(&(snapshot->stacks));
   xbt_dynar_free(&(snapshot->to_ignore));
 
-  size_t n = snapshot->nb_processes;
-  if(snapshot->privatization_regions) {
+  if(snapshot->privatization_regions){
+    size_t n = snapshot->nb_processes;
     for(i=0; i!=n; ++i) {
       MC_region_destroy(snapshot->privatization_regions[i]);
     }