diff --git a/src/kernel_services/analysis/filter/linear_filter_test.ml b/src/kernel_services/analysis/filter/linear_filter_test.ml
index a6c6d12f0c1da3980d9bae005b5da106f7b5e8ff..6634aef53e7e765ef4fae15370c20c7d38895c1d 100644
--- a/src/kernel_services/analysis/filter/linear_filter_test.ml
+++ b/src/kernel_services/analysis/filter/linear_filter_test.ml
@@ -98,7 +98,7 @@ module Circle = struct
   let center = Linear.Vector.zero order
 
   let compute () =
-    let filter = Filter.create state input center measure in
+    let filter = Filter.create ~state ~input ~center ~measure in
     let invariant = Filter.invariant filter max_exponent in
     Kernel.result "@[<v>Circle :@,%a@,@]" (pretty_invariant order) invariant
 
@@ -128,7 +128,7 @@ module Simple = struct
   let center = Linear.Vector.repeat Rational.one order
 
   let compute () =
-    let filter = Filter.create state input center measure in
+    let filter = Filter.create ~state ~input ~center ~measure in
     let invariant = Filter.invariant filter max_exponent in
     Kernel.result "@[<v>Simple :@,%a@,@]" (pretty_invariant order) invariant
 
diff --git a/tests/float/oracle/linear_filter_test.res.oracle b/tests/float/oracle/linear_filter_test.res.oracle
index 27e5f9d3051082f9338e6b27269be705c8ec6183..f69acd94d653045be3b4fb16c72e12aea07e4b1b 100644
--- a/tests/float/oracle/linear_filter_test.res.oracle
+++ b/tests/float/oracle/linear_filter_test.res.oracle
@@ -1,3 +1,7 @@
 [kernel] Parsing linear_filter_test.i (no preprocessing)
-[kernel] Circle : 31.3829787
-[kernel] Simple : 9.2732747E-1
+[kernel] Circle :
+  * 0 : [-31.3829787 .. 31.3829787]
+  * 1 : [-31.3829787 .. 31.3829787]
+[kernel] Simple :
+  * 0 : [5.7267253E-1 .. 2.4273275]
+  * 1 : [1.5726725 .. 3.4273275]