diff --git a/src/plugins/value/values/main_values.ml b/src/plugins/value/values/main_values.ml
index 155133c9fc98f532e16842e46134d19220b4096c..f5bec06d977060be6fd796cedaea8bfde736f059 100644
--- a/src/plugins/value/values/main_values.ml
+++ b/src/plugins/value/values/main_values.ml
@@ -164,7 +164,7 @@ module Interval = struct
   let zero = None
   let one = None
   let top_int = None
-  let inject_int _typ _i = None
+  let inject_int _typ i = Some (Ival.inject_singleton i)
 
   let assume_non_zero v = `Unknown v
   let assume_bounded _ _ v = `Unknown v