From 173b37b52381230ef5a480ecd723f23edef040a4 Mon Sep 17 00:00:00 2001
From: Eric Wieser <wieser.eric@gmail.com>
Date: Sun, 14 Jul 2024 23:27:32 +0000
Subject: [PATCH] tidy newlines

---
 Qq/Delab.lean | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Qq/Delab.lean b/Qq/Delab.lean
index c290cca..96e9c74 100644
--- a/Qq/Delab.lean
+++ b/Qq/Delab.lean
@@ -2,7 +2,9 @@ import Qq.Macro
 /-!
 # Delaborators for `q()` and `Q()` notation
 -/
+
 open Qq Lean Elab PrettyPrinter.Delaborator SubExpr Meta Impl Std
+
 namespace Qq
 
 namespace Impl