Merge pull request #450 from FStarLang/protz_whitespace

Remove trailing whitespace
FStarLang · Jul 22, 2024 · 1ed8ba5 · 1ed8ba5
2 parents facdca2 + d52b4c3
commit 1ed8ba5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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