Fixed CI

zkFold · Nov 15, 2024 · 77b8dda · 77b8dda
1 parent 65b033d
commit 77b8dda
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/symbolic-examples/bench/BenchCompiler.hs b/symbolic-examples/bench/BenchCompiler.hs
@@ -26,7 +26,7 @@ metrics name circuit =
 
 
 benchmark ::
-  (NFData a, Arithmetic a, NFData (o (Var a i)), NFData (Rep i), Representable i) =>
+  (Arithmetic a, NFData (o (Var a i)), NFData (Rep i), Representable i) =>
   String -> (() -> ArithmeticCircuit a i o) -> Benchmark
 benchmark name circuit = bgroup name
   [ bench "compilation" $ nf circuit ()