From 8827221493edd15c743f897c344953090d0fe4fc Mon Sep 17 00:00:00 2001
From: Krasimir Angelov <kr.angelov@gmail.com>
Date: Thu, 11 Apr 2024 10:56:59 +0200
Subject: [PATCH] git commit the __attribute__ pragma is only for GCC

---
 src/runtime/c/pgf/typechecker.h | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/runtime/c/pgf/typechecker.h b/src/runtime/c/pgf/typechecker.h
index cf33ebca2..117c640f6 100644
--- a/src/runtime/c/pgf/typechecker.h
+++ b/src/runtime/c/pgf/typechecker.h
@@ -101,7 +101,10 @@ class PGF_INTERNAL_DECL PgfTypechecker {
     };
 
     PgfDBMarshaller db_m;
-    bool type_error(const char *fmt, ...) __attribute__ ((format (printf, 2, 3)));
+    bool type_error(const char *fmt, ...)
+#ifdef __GNUC__
+    __attribute__ ((format (printf, 2, 3)));
+#endif
 
 public:
     PgfTypechecker(ref<PgfPGF> gr, PgfMarshaller *m, PgfUnmarshaller *u, PgfExn* err);