<div dir="auto">And 343c2e makes a bunch of unrelated Lem changes back...</div><div class="gmail_extra"><br><div class="gmail_quote">On 6 Dec 2016 16:33, "Magnus Myreen" <<a href="mailto:magnus.myreen@gmail.com" target="_blank">magnus.myreen@gmail.com</a>> wrote:<br type="attribution"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">I had the same problem. Ramana's advice was: if you don't intend to<br>
change the Lem files, then the easiest solution is to uninstall Lem.<br>
-- Magnus<br>
<br>
On 6 December 2016 at 16:19,  <<a href="mailto:Michael.Norrish@data61.csiro.au">Michael.Norrish@data61.csiro.<wbr>au</a>> wrote:<br>
> Commit c3acbd96 seems to have made lots of completely unnecessary changes to various lem-generated files.  I guess Ramana has changed his lem-version?  Which version *should* we be using?<br>
><br>
> Michael<br>
><br>
> ______________________________<wbr>_________________<br>
> Developers mailing list<br>
> <a href="mailto:Developers@cakeml.org">Developers@cakeml.org</a><br>
> <a href="https://lists.cakeml.org/listinfo/developers" rel="noreferrer" target="_blank">https://lists.cakeml.org/<wbr>listinfo/developers</a><br>
<br>
______________________________<wbr>_________________<br>
Developers mailing list<br>
<a href="mailto:Developers@cakeml.org">Developers@cakeml.org</a><br>
<a href="https://lists.cakeml.org/listinfo/developers" rel="noreferrer" target="_blank">https://lists.cakeml.org/<wbr>listinfo/developers</a><br>
</blockquote></div></div>