Commit e87c2c47 authored by Geoff Simmons's avatar Geoff Simmons

Optimize set.matched().

Take advantage of the fact that the array of indexes returned from
the vre2 call is now sorted (but still using a linear search).
parent af7001b1
Pipeline #342 skipped