From 77752f02ecdc37476a9ff02b3acbeff510715d2c Mon Sep 17 00:00:00 2001
From: Krasimir Angelov <kr.angelov@gmail.com>
Date: Thu, 11 Apr 2024 11:00:28 +0200
Subject: [PATCH] another fix for Python on Windows

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

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