diff --git a/src/main/java/ui/window/JDialogProverifVerification.java b/src/main/java/ui/window/JDialogProverifVerification.java
index 5ebbc41979bfd8ef1e3ed62b263bac33ce2661ae..f7fc94a7195c8846653ec67e1a1407737303d879 100644
--- a/src/main/java/ui/window/JDialogProverifVerification.java
+++ b/src/main/java/ui/window/JDialogProverifVerification.java
@@ -1088,7 +1088,7 @@ public class JDialogProverifVerification extends JDialog implements ActionListen
         panelAutoPattern();
         //c.add(jp1, BorderLayout.NORTH);
 
-        /*JSplitPane intermediate = new JSplitPane(JSplitPane.HORIZONTAL_SPLIT);
+        JSplitPane intermediate = new JSplitPane(JSplitPane.HORIZONTAL_SPLIT);
         intermediate.setTopComponent(jp1);
         intermediate.setBottomComponent(jsp);
         addComponentListener(new ComponentAdapter() {
@@ -1097,9 +1097,9 @@ public class JDialogProverifVerification extends JDialog implements ActionListen
                 intermediate.setDividerLocation(0.4);
             }
         });
-        c.add(intermediate, BorderLayout.CENTER);*/
-        c.add(jsp, BorderLayout.EAST);
-        c.add(jp1, BorderLayout.WEST);
+        c.add(intermediate, BorderLayout.CENTER);
+        //c.add(jsp, BorderLayout.EAST);
+        //c.add(jp1, BorderLayout.WEST);
         c.add(jp2, BorderLayout.SOUTH);
 
         this.popup = new JPopupMenu();