From f24f32c563c74a2d87c8ff578df0b5d6d535ab4b Mon Sep 17 00:00:00 2001
From: Steven de Oliveira <de.oliveira.steven@gmail.com>
Date: Mon, 23 Oct 2023 09:23:45 +0200
Subject: [PATCH] Rebase artifact

---
 src/lib/frontend/d_cnf.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/lib/frontend/d_cnf.ml b/src/lib/frontend/d_cnf.ml
index 7d72b539a..322624a41 100644
--- 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