[CakeML-dev] mc_multiword

[Magnus Myreen]

mc_multiword was recently added to HOL. I suspect you need to update
your HOL revision. -- Magnus

On 15 January 2017 at 13:47, Scott Owens <S.A.Owens at kent.ac.uk> wrote:
> It looks like data_to_word is broken too.
>
> Scott
>
>> On 2017/01/15, at 12:46, Scott Owens <S.A.Owens at kent.ac.uk> wrote:
>>
>> After merging master into env-refactor, word_bignumTheory doesn’t build, complaining of a missing mc_multiword theory.
>>
>> Scott
>> _______________________________________________
>> Developers mailing list
>> Developers at cakeml.org
>> https://lists.cakeml.org/listinfo/developers
>
> _______________________________________________
> Developers mailing list
> Developers at cakeml.org
> https://lists.cakeml.org/listinfo/developers