From f6c9835e29896e03b65e49eda97d3dd660d737af Mon Sep 17 00:00:00 2001
From: Joscha <joscha@plugh.de>
Date: Tue, 22 Nov 2022 21:50:20 +0100
Subject: [PATCH] Hide warnings in pretty module for now

---
 src/pretty.rs | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/pretty.rs b/src/pretty.rs
index 20844f6..cb1d34f 100644
--- a/src/pretty.rs
+++ b/src/pretty.rs
@@ -1,3 +1,6 @@
+// TODO Remove this and print whitespace and comments properly
+#![allow(unused_variables)]
+
 use pretty::{Pretty, RcAllocator};
 
 mod basic;