diff --git a/libs/symfpu b/libs/symfpu
index e68bf9d0b..c0dd6eef9 160000
--- a/libs/symfpu
+++ b/libs/symfpu
@@ -1 +1 @@
-Subproject commit e68bf9d0bb2e038e970ed11c7edcc19f29d84b12
+Subproject commit c0dd6eef9759381a67572c0098fbe118e23d2429
diff --git a/passes/cmds/symfpu.cc b/passes/cmds/symfpu.cc
index 789a84405..c227266a6 100644
--- a/passes/cmds/symfpu.cc
+++ b/passes/cmds/symfpu.cc
@@ -49,12 +49,12 @@ struct rm {
 thread_local Module *symfpu_mod = nullptr;
 
 struct rtlil_traits {
-	typedef uint64_t bwt;
-	typedef rm rm;
-	typedef symfpu::shared::floatingPointTypeInfo fpt;
-	typedef prop prop;
-	typedef bv<true> sbv;
-	typedef bv<false> ubv;
+	using bwt = uint64_t;
+	using rm = struct rm;
+	using fpt = symfpu::shared::floatingPointTypeInfo;
+	using prop = struct prop;
+	using sbv = bv<true>;
+	using ubv = bv<false>;
 
 	// Return an instance of each rounding mode.
 	static rm RNE(void) { return {rm::mode::RNE}; };
@@ -348,7 +348,7 @@ template <bool is_signed> bv<is_signed> symfpu::ite<prop, bv<is_signed>>::iteOp(
 	return bv<is_signed>{symfpu_mod->Mux(NEW_ID, e.bits, t.bits, cond.bit)};
 }
 
-prop symfpu::ite<bool, prop>::iteOp(bool cond, const prop &t, const prop &e) { return cond ? t : e; }
+[[maybe_unused]] prop symfpu::ite<bool, prop>::iteOp(bool cond, const prop &t, const prop &e) { return cond ? t : e; }
 
 template <bool is_signed> bv<is_signed> symfpu::ite<bool, bv<is_signed>>::iteOp(bool cond, const bv<is_signed> &t, const bv<is_signed> &e)
 {