From e7df295891289d5ea967b8d9e13892ffe8c82c1f Mon Sep 17 00:00:00 2001
From: Danny Willems <be.danny.willems@gmail.com>
Date: Thu, 12 Dec 2024 10:29:38 +0100
Subject: [PATCH] Snark_intf: remove unused alias Ref in As_prover

---
 src/base/snark0.ml | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/base/snark0.ml b/src/base/snark0.ml
index b0ed161e9..841b60d9e 100644
--- a/src/base/snark0.ml
+++ b/src/base/snark0.ml
@@ -52,8 +52,6 @@ struct
     include As_prover
 
     type 'a as_prover = 'a t
-
-    module Ref = Ref
   end
 
   module Handle = struct