Commit 59160f27 by Christophe Geuzaine

_mm_malloc is not portable - maybe hxt should use hxtMalloc ? reverting to standard malloc for now

parent 4f5e071b
Pipeline #1387 failed with stage
in 39 minutes 32 seconds