diff --git a/tests/eunify.v b/tests/eunify.v
index 96eb3e66b2ce3a9d55504762cb18dd8b5d60f7bd..e2c5970b8397c6ad3edb78acf733beecf78cd372 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.