format

c-cube · c-cube · commit d80f0697e776 · 2025-03-06T14:06:57.000-05:00
diff --git a/src/lib/proof3/scope.ml b/src/lib/proof3/scope.ml
@@ -1,4 +1,3 @@
 type t = { sc: int list }
 [@@unboxed] [@@deriving show { with_path = false }, twine, typereg, eq]
 (** A scope used to hold local assumptions *)
-
