diff -r f14eaac189e8 -r fc315796794e src/HOL/Tools/Predicate_Compile/predicate_compile_compilations.ML