Bug#868606: hol-light FTBFS: Error: This expression has type (MLast.loc * string Ploc.vala) Ploc.vala but an expression was expected of type MLast.loc * 'a

[Hendrik Tews]

> Some recent change in unstable make hol-light FTBFS:

I blame the new camlp5 version for this. I have to see if
upstream supports camlp5 version 7 already.

Hendrik