mn200/HOL — comment on commit bf6d5fcea6dbf1d32b7611831a7cd6e1277bd6e5
File: src/HolQbf/QbfConv.sml line 13
By mn200:

Rather than handling `UNCHANGED`, try `CHANGED_CONV c ORELSEC ....`