diff --git a/include/krml/internal/target.h b/include/krml/internal/target.h
index 20e83d43..8e00f2fd 100644
--- a/include/krml/internal/target.h
+++ b/include/krml/internal/target.h
@@ -73,7 +73,7 @@
 #  if defined(__GNUC__)
 #    define KRML_ATTRIBUTE_TARGET(x) __attribute__((target(x)))
 #  else
-#    define KRML_ATTRIBUTE_TARGET(x) 
+#    define KRML_ATTRIBUTE_TARGET(x)
 #  endif
 #endif