From 681d6833da225201ad97d5b0df779faf7057d498 Mon Sep 17 00:00:00 2001 From: mrmr1993 Date: Wed, 20 Nov 2024 20:39:16 +0000 Subject: [PATCH] Reformat --- src/base/snark0.ml | 1 - 1 file changed, 1 deletion(-) diff --git a/src/base/snark0.ml b/src/base/snark0.ml index 755e4ddba..6fcef9c5f 100644 --- a/src/base/snark0.ml +++ b/src/base/snark0.ml @@ -769,7 +769,6 @@ module Run = struct module Typ = struct include Types.Typ.T open Snark.Typ - module Data_spec = Typ.Data_spec type nonrec ('var, 'value) t = ('var, 'value) t