From d9c80dadd353bd8b0eb90ce290048a2538f1a41a Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Fri, 26 Mar 2021 20:21:46 +0100
Subject: [doc] cleanup pretyping/structures.mli

---
 pretyping/structures.mli | 1 -
 1 file changed, 1 deletion(-)

diff --git a/pretyping/structures.mli b/pretyping/structures.mli
index a1cc38e8e0..05b21b1033 100644
--- a/pretyping/structures.mli
+++ b/pretyping/structures.mli
@@ -101,7 +101,6 @@ end
     corresponding to val is [val cvalue_arguments].
     It is possible that val is one of the [abs] abstractions, eg [Default_cs],
     and in that case [cvalue_abstraction = Some i] *)
-
 module CanonicalSolution : sig
 
 type t = {
-- 
cgit v1.2.3