From d956853170f92fdf255ba04970534e5f344b564c Mon Sep 17 00:00:00 2001
From: Jens Bendisposto <jens@bendisposto.de>
Date: Fri, 25 Nov 2011 15:06:11 +0100
Subject: [PATCH] Announce reset
---
.../src/de/prob/core/command/LoadClassicalBModelCommand.java | 1 +
1 file changed, 1 insertion(+)
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 3ad2ffd9..a82f46ce 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: ");
--
GitLab