1 files changed, 0 insertions, 1 deletions
diff --git a/src/lib.rs b/src/lib.rs
index 7447dad7..ce753f86 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -43,7 +43,6 @@ pub mod library;
 pub mod loading;
 pub mod paper;
 pub mod parse;
-pub mod pretty;
 pub mod source;
 pub mod syntax;
 pub mod util;