Removing ReSit, because it's not so very nice
This commit is contained in:
@@ -12111,17 +12111,6 @@ This should be as low as possible, but too low may break functionality</string>
|
||||
<key>Value</key>
|
||||
<integer>1</integer>
|
||||
</map>
|
||||
<key>ReSit</key>
|
||||
<map>
|
||||
<key>Comment</key>
|
||||
<string>Sit again if unsat</string>
|
||||
<key>Persist</key>
|
||||
<integer>0</integer>
|
||||
<key>Type</key>
|
||||
<string>Boolean</string>
|
||||
<key>Value</key>
|
||||
<integer>0</integer>
|
||||
</map>
|
||||
<key>SpecifiedChannel</key>
|
||||
<map>
|
||||
<key>Comment</key>
|
||||
|
||||
Reference in New Issue
Block a user