--- a/src/qtgui/advsearch.ui
+++ b/src/qtgui/advsearch.ui
@@ -120,7 +120,7 @@
</spacer>
<widget class="QPushButton">
<property name="name">
- <cstring>addClausePB</cstring>
+ <cstring>delClausePB</cstring>
</property>
<property name="sizePolicy">
<sizepolicy>
@@ -131,6 +131,25 @@
</sizepolicy>
</property>
<property name="text">
+ <string>Delete clause</string>
+ </property>
+ <property name="autoDefault">
+ <bool>false</bool>
+ </property>
+ </widget>
+ <widget class="QPushButton">
+ <property name="name">
+ <cstring>addClausePB</cstring>
+ </property>
+ <property name="sizePolicy">
+ <sizepolicy>
+ <hsizetype>0</hsizetype>
+ <vsizetype>0</vsizetype>
+ <horstretch>0</horstretch>
+ <verstretch>0</verstretch>
+ </sizepolicy>
+ </property>
+ <property name="text">
<string>Add clause</string>
</property>
<property name="autoDefault">