[m-rev.] for post-commit review: fix a perf bug

[Mark Brown]

On Tue, Nov 24, 2015 at 3:37 PM, Julien Fischer <jfischer at opturion.com> wrote:
>
> On Fri, 30 Oct 2015, Zoltan Somogyi wrote:
>
>> On Thu, 29 Oct 2015 15:37:09 +1100 (AEDT), Julien Fischer
>> <jfischer at opturion.com> wrote:
>>>
>>> Auto initialization of solver types as a language feature was disabled
>>> many
>>> years ago, although the capability for supporting it was retained in the
>>> compiler.  In light of the above, do we even want to maintain the
>>> residual
>>> support for it?  I vote for removing it; I can't see it every being
>>> wanted
>>> again.
>>
>>
>> I vote for removing it too.
>>
>> Any objections from anyone else?
>
>
> Given it's been about a month since you asked that question, I think
> it's safe to say there are no objections.

The comments about this at the top of inst_{match,util}.m are now
obsolete and can be deleted.

Mark