From 1bffd3565302a8bd34293ca96caf29fa0edc3aa9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lennard=20G=C3=A4her?= <l.gaeher@posteo.de>
Date: Wed, 26 Mar 2025 15:40:55 +0100
Subject: [PATCH] restore blank

---
 lifetime/model/definitions.v | 1 +
 1 file changed, 1 insertion(+)

diff --git a/lifetime/model/definitions.v b/lifetime/model/definitions.v
index 35fdc4a0..6f00d3d2 100644
--- a/lifetime/model/definitions.v
+++ b/lifetime/model/definitions.v
@@ -356,4 +356,5 @@ Proof. apply _. Qed.
 Global Definition atomic_lft_inhabited : Inhabited atomic_lft := _.
 Global Definition atomic_lft_eq_dec : EqDecision atomic_lft := _.
 Global Definition atomic_lft_countable : Countable atomic_lft := _.
+
 End basic_properties.
-- 
GitLab