diff --git a/src/plugins/eva/utils/export.ml b/src/plugins/eva/utils/export.ml
index 6154a0f44555b9f263fbb5834876a979a601f20c..bcd9a85c8957ea2847f9dcdae767fd8c155105e9 100644
--- a/src/plugins/eva/utils/export.ml
+++ b/src/plugins/eva/utils/export.ml
@@ -131,7 +131,7 @@ let fmax ~kind (exp : Exp.exp) (b : Fval.F.t) : pred =
   else True
 
 let frange ~kind (exp : Exp.exp) = function
-  | None -> True
+  | None -> False
   | Some(a,b) -> pand (fmin ~kind exp a) (fmax ~kind exp b)
 
 let fval typ (exp : Exp.exp) (fval : Fval.t) : pred =