From 15ffdaf72a585ee0ca2eafc9c1b41de1abdaea63 Mon Sep 17 00:00:00 2001 From: conrad Date: Mon, 7 Jul 2025 17:06:19 +1000 Subject: [PATCH] fix --- include/armadillo_bits/typedef_elem.hpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/include/armadillo_bits/typedef_elem.hpp b/include/armadillo_bits/typedef_elem.hpp index 72b5c293..80199e66 100644 --- a/include/armadillo_bits/typedef_elem.hpp +++ b/include/armadillo_bits/typedef_elem.hpp @@ -214,7 +214,7 @@ typedef void* void_ptr; #else #if defined(ARMA_FORCE_USE_FP16) - #pragma message("WARNING: no usable fp16 type detected; support for 16-bit floating point disabled"); + #pragma message("WARNING: no usable fp16 type detected; support for 16-bit floating point disabled") #endif #endif