add comment for _GNU_SOURCE

goblint · Mar 11, 2024 · 5c3df93 · 5c3df93
1 parent 02afa4a
commit 5c3df93
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/common/cdomains/floatOps/stubs.c b/src/common/cdomains/floatOps/stubs.c
@@ -1,4 +1,4 @@
-#define _GNU_SOURCE
+#define _GNU_SOURCE // necessary for M_PI to be defined
 #include <stdio.h>
 #include <math.h>
 #include <float.h>