Rebase artifact

OCamlPro · Oct 23, 2023 · f24f32c · f24f32c
1 parent ec216f8
commit f24f32c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/lib/frontend/d_cnf.ml b/src/lib/frontend/d_cnf.ml
@@ -254,7 +254,7 @@ module Const = struct
           (DStd.Path.global name) Ty.(arrow [int] (bitv n)))
 
   let smt_round =
-    with_cache ~cache:(Hashtbl.create 13) (fun (n, m) ->
+    with_cache (fun (n, m) ->
         let name = "ae.round" in
         Id.mk
           ~name