From 09db5e13fc268ba5d594d04f767d6e33605eb6a7 Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Fri, 12 Apr 2019 19:39:55 +0200
Subject: better #include handling

---
 runtime/include/math.h | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'runtime')

diff --git a/runtime/include/math.h b/runtime/include/math.h
index a61d8c17..805cc8e7 100644
--- a/runtime/include/math.h
+++ b/runtime/include/math.h
@@ -1,3 +1,7 @@
-#define isfinite(__y) (fpclassify(__y) >= FP_ZERO)
+#ifndef _COMPCERT_MATH_H
+#define _COMPCERT_MATH_H
+
+#define isfinite(__y) (fpclassify((__y)) >= FP_ZERO)
 
 #include_next <math.h>
+#endif
-- 
cgit