diff --git a/prism/src/userinterface/model/GUIMultiModel.java b/prism/src/userinterface/model/GUIMultiModel.java
index 0bce3c11..ba516ce2 100644
--- a/prism/src/userinterface/model/GUIMultiModel.java
+++ b/prism/src/userinterface/model/GUIMultiModel.java
@@ -299,6 +299,7 @@ public class GUIMultiModel extends GUIPlugin implements PrismSettingsListener
 					error("No file selected");
 					return;
 				}
+				getPrism().getMainLog().resetNumberOfWarnings();
 				handler.loadModel(file);
 			}
 		}
@@ -307,8 +308,10 @@ public class GUIMultiModel extends GUIPlugin implements PrismSettingsListener
 	protected void a_reloadModel()
 	{
 		int cont = doModificationCheck();
-		if (cont == CONTINUE)
+		if (cont == CONTINUE) {
+			getPrism().getMainLog().resetNumberOfWarnings();
 			handler.reloadActiveFile();
+		}
 	}
 
 	protected int a_saveModel()
@@ -316,6 +319,7 @@ public class GUIMultiModel extends GUIPlugin implements PrismSettingsListener
 		if (!handler.hasActiveFile()) {
 			return a_saveModelAs();
 		} else {
+			getPrism().getMainLog().resetNumberOfWarnings();
 			return handler.saveToActiveFile();
 		}
 	}
diff --git a/prism/src/userinterface/simulator/GUISimulator.java b/prism/src/userinterface/simulator/GUISimulator.java
index 4cd1432c..3d816a7b 100644
--- a/prism/src/userinterface/simulator/GUISimulator.java
+++ b/prism/src/userinterface/simulator/GUISimulator.java
@@ -739,6 +739,7 @@ public class GUISimulator extends GUIPlugin implements MouseListener, ListSelect
 			Graph graphModel = new Graph();
 			guiProp.getGraphHandler().addGraph(graphModel);
 			int maxPathLength = getPrism().getSettings().getInteger(PrismSettings.SIMULATOR_DEFAULT_MAX_PATH);
+			getPrism().getMainLog().resetNumberOfWarnings();
 			parser.State initialStateObject = initialState == null ? null : new parser.State(initialState, parsedModel);
 			new SimPathPlotThread(this, engine, parsedModel, initialStateObject, simPathDetails, maxPathLength, graphModel).start();
 			setComputing(false);