diff --git a/de.prob.core/src/de/prob/core/command/LoadClassicalBModelCommand.java b/de.prob.core/src/de/prob/core/command/LoadClassicalBModelCommand.java
index 3ad2ffd9751a2258707a3a854389ff02d31b850f..a82f46ce2256163a83511227e5fb7fef4d3d4397 100644
--- a/de.prob.core/src/de/prob/core/command/LoadClassicalBModelCommand.java
+++ b/de.prob.core/src/de/prob/core/command/LoadClassicalBModelCommand.java
@@ -123,6 +123,7 @@ public final class LoadClassicalBModelCommand {
 			@Override
 			public void processResult(
 					final ISimplifiedROMap<String, PrologTerm> bindings) {
+				Animator.getAnimator().announceReset();
 				ListPrologTerm e = (ListPrologTerm) bindings.get("Errors");
 				if (!e.isEmpty()) {
 					StringBuffer errormsg = new StringBuffer("Error from Prolog: ");