diff --git a/src/avatartranslator/modelchecker/AvatarModelChecker.java b/src/avatartranslator/modelchecker/AvatarModelChecker.java
index 85dd19e21ffa0b3f814786e3c7bdc56e344c7544..377e2a3ea75b7c379d142a55ea49c99129719fb3 100644
--- a/src/avatartranslator/modelchecker/AvatarModelChecker.java
+++ b/src/avatartranslator/modelchecker/AvatarModelChecker.java
@@ -122,6 +122,10 @@ public class AvatarModelChecker implements Runnable, myutil.Graph {
 
     }
 
+    public AvatarSpecification getReworkedAvatarSpecification() {
+	return spec;
+    }
+
     public int getNbOfStates() {
 	if (states == null) {
 	    return 0;
diff --git a/src/ui/MainGUI.java b/src/ui/MainGUI.java
index d118534999844999143079d4b5557e4db1424ced..1c21ab53367f33eb6d921e6fa8f7080af99d1c9c 100755
--- a/src/ui/MainGUI.java
+++ b/src/ui/MainGUI.java
@@ -1807,6 +1807,12 @@ public  class MainGUI implements ActionListener, WindowListener, KeyListener, Pe
         return null;
     }
 
+    public void drawAvatarSpecification(AvatarSpecification av) {
+	int index = createAvatarDesign("GeneratedDesign");
+	AvatarDesignPanel adp = (AvatarDesignPanel)(tabs.elementAt(index));
+	gtm.drawPanel(av, adp);
+    }
+
 
     // Creates the status bar.
     private     JLabel createStatusBar()  {
diff --git a/src/ui/window/JDialogAvatarModelChecker.java b/src/ui/window/JDialogAvatarModelChecker.java
index ac3cf99b8a0d3409a615daf7293f2c514e3b5e9e..72f2d1f168d15d2a5bc19fc3011118b9a850fe2d 100644
--- a/src/ui/window/JDialogAvatarModelChecker.java
+++ b/src/ui/window/JDialogAvatarModelChecker.java
@@ -489,6 +489,13 @@ public class JDialogAvatarModelChecker extends javax.swing.JDialog implements Ac
 
             amc.startModelChecking();
 	    TraceManager.addDev("Model checking done");
+
+	    TraceManager.addDev("Drawing modified avatar spec");
+	    AvatarSpecification reworkedSpec = amc.getReworkedAvatarSpecification();
+	    if ((mgui != null) && (reworkedSpec != null)) {
+		mgui.drawAvatarSpecification(reworkedSpec);
+	    }
+	    
             timer.cancel();
             endDate = new Date();
             updateValues();