Inform schedulers with correct number of matches.#259

gkronber wants to merge 1 commit intoale/3.0JuliaSymbolics/Metatheory.jl:ale/3.0from

scheduler_nmatches_quickfixJuliaSymbolics/Metatheory.jl:scheduler_nmatches_quickfixCopy head branch name to clipboard