Commit 84845e89 by Christophe Geuzaine

fix hxt ifdef (same issue as !116, slightly different fix)

parent b47322b0
Pipeline #1640 passed with stage
in 72 minutes 49 seconds