Merge branch 'develop' into develop_CORAL2

LLNL · Apr 4, 2018 · c856005 · c856005
2 parents c364533 + 048c073
commit c856005
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Kripke/Kernel/Population.cpp b/src/Kripke/Kernel/Population.cpp
@@ -78,7 +78,7 @@ struct PopulationSdom {
         }
     );
 
-    *part_ptr = part_red;
+    *part_ptr += part_red;
   }
 
 };