[m-rev.] for post-commit review: speed up handling of insts

[Paul Bone]

On Sat, Feb 28, 2015 at 02:39:33PM +1100, Zoltan Somogyi wrote:
> For post-commit review by anyone.
> 
> Zoltan.

I havn't reviewed the change, but it looks like you forgot to commit
inst_user.m  Could you add it?

Thanks.

-- 
Paul Bone