[Hol-info] Hol_datatype fails

[Robert T B. <rt...@us...>]

Hi,

I have a proof that used to work - it now fails:

Hol_datatype `e = L of num`;

for example, now fails with

Exception raised at Datatype.Hol_datatype:
ind_types.define_type - Overflow
! Uncaught exception:
! HOL_ERR

This used to work.

Robert