Commit 93fdff47 authored by Ludovic Apvrille's avatar Ludovic Apvrille

Revert "Better organization of graphic elements in model-checking window"

This reverts commit 6f3c792a.
parent 8e67fda6
......@@ -230,6 +230,7 @@ public class JDialogAvatarModelChecker extends javax.swing.JFrame implements Act
jp01.add(ignoreInternalStates, c01);
// Reachability
reachabilities = new ButtonGroup();
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment