Fix warning in pattern miner