antoniop
committed
on 26 Jun 18
Fix incompatible oracle idiom pinted out by automated test