Index: tests/gmp.c
===================================================================
--- tests/gmp.c	(revision bf71cfdb7285490eee552b461158846f626cc52f)
+++ tests/gmp.c	(revision 3fc5f010b953cf11d37ccd8b2abff9a22a32e4f6)
@@ -1,10 +1,10 @@
-// 
+//
 // Cforall Version 1.0.0 Copyright (C) 2016 University of Waterloo
 //
 // The contents of this file are covered under the licence agreement in the
 // file "LICENCE" distributed with Cforall.
-// 
-// gmp.c -- 
-// 
+//
+// gmp.c --
+//
 // Author           : Peter A. Buhr
 // Created On       : Tue Apr 19 08:55:51 2016
@@ -12,9 +12,9 @@
 // Last Modified On : Thu Sep 28 18:33:51 2017
 // Update Count     : 555
-// 
+//
 
 // NOTE: UBUNTU DOES NOT SUPPORT GMP MULTILIB, SO ONLY 64-BIT GMP IS TESTED.
 
-#include <gmp>
+#include <gmp.hfa>
 
 int main( void ) {