Fix unused parameter error in BenchSet

goblint · Aug 2, 2024 · 8dd27a1 · 8dd27a1
1 parent cffe5c2
commit 8dd27a1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/bench/basic/benchSet.ml b/bench/basic/benchSet.ml
@@ -73,7 +73,7 @@ let () =
         ]
       );
       "const" @> lazy (
-        let args = ((fun x -> 42), set1) in
+        let args = ((fun _ -> 42), set1) in
         throughputN 1 [
           ("map1", map1, args);
           ("map2", map2, args);