Include gaol/gaol instead of goal/gaol.h which may cause namespace is…

…sues
lebarsfa · Mar 7, 2024 · 52f69af · 52f69af
1 parent 0ad1a6d
commit 52f69af
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/interval_lib_wrapper/gaol/ibex_IntervalLibWrapper.h b/interval_lib_wrapper/gaol/ibex_IntervalLibWrapper.h
@@ -1,7 +1,7 @@
 #ifndef _IBEX_INTERVALLIBWRAPPER_H_
 #define _IBEX_INTERVALLIBWRAPPER_H_
 
-#include "gaol/gaol.h"
+#include "gaol/gaol"
 #include "gaol/gaol_interval.h"
 
 #define IBEX_INTERVAL_LIB_NEG_INFINITY (-GAOL_INFINITY)

diff --git a/interval_lib_wrapper/gaol/ibex_IntervalLibWrapper.inl b/interval_lib_wrapper/gaol/ibex_IntervalLibWrapper.inl
@@ -10,15 +10,15 @@
 namespace ibex {
 
 inline void fpu_round_down() {
-	round_downward();
+	gaol::round_downward();
 }
 
 inline void fpu_round_up() {
-	round_upward();
+	gaol::round_upward();
 }
 
 inline void fpu_round_near() {
-	round_nearest();
+	gaol::round_nearest();
 }
 
 inline double previous_float(double x) {