From ddce76d72511cf404f4bb15b8f48c5dabe5bceae Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Mon, 28 Jun 2021 20:35:56 +0200
Subject: [PATCH] trailing newline

---
 tests/eunify.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/eunify.v b/tests/eunify.v
index 96eb3e66..e2c5970b 100644
--- a/tests/eunify.v
+++ b/tests/eunify.v
@@ -42,4 +42,4 @@ Proof.
   | |- 0 < ?x => eunify x 2
   end.
   lia.
-Qed.
\ No newline at end of file
+Qed.
-- 
GitLab