From 52f4d6217f3389f2b957476c8f9c94fc0db46fa8 Mon Sep 17 00:00:00 2001
From: Sasha Demin <ademin@mpi-inf.mpg.de>
Date: Tue, 3 Oct 2023 00:19:09 +0200
Subject: [PATCH] soften the phrasing of the warning on floats

---
 src/util.jl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/util.jl b/src/util.jl
index 153b394df..068780c54 100644
--- a/src/util.jl
+++ b/src/util.jl
@@ -463,7 +463,7 @@ function eval_at_nemo(e::Union{Float16, Float32, Float64}, vals::Dict)
     else
         out = rationalize(e)
     end
-    @warn "Floating points are not allowed, value $e will be converted to $(out)."
+    @warn "Floating point value $e will be converted to $(out)."
     return out
 end