[CakeML-dev] mc_multiword

[Scott Owens]

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