Reformat

o1-labs · Nov 20, 2024 · 681d683 · 681d683
1 parent ceff573
commit 681d683
Showing 1 changed file with 0 additions and 1 deletion.
diff --git 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