From 03a9518fe45a8b4fa5aced229f83906bf98120e0 Mon Sep 17 00:00:00 2001 From: Danny Willems Date: Mon, 16 Dec 2024 16:04:44 +0100 Subject: [PATCH] Transaction_snark: remove useless discard of warning 67 --- src/lib/transaction_snark/transaction_snark_intf.ml | 1 - 1 file changed, 1 deletion(-) diff --git a/src/lib/transaction_snark/transaction_snark_intf.ml b/src/lib/transaction_snark/transaction_snark_intf.ml index 7625c08890c..fb678924034 100644 --- a/src/lib/transaction_snark/transaction_snark_intf.ml +++ b/src/lib/transaction_snark/transaction_snark_intf.ml @@ -207,7 +207,6 @@ module type Full = sig val proof_level : Genesis_constants.Proof_level.t end) : S - [@@warning "-67"] val constraint_system_digests : constraint_constants:Genesis_constants.Constraint_constants.t