On 19/01/2016 19:48, Phil Clayton wrote:
Thanks for the quick patch - that fixes it. Also, I modified my version with diagnostic messages and now see the expected messages from malloc.
Thanks for testing it. Now merged into master. David _______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
