diff --git a/prototyping/PrettyPrinter.agda b/prototyping/PrettyPrinter.agda
index c0917163..dfb2c053 100644
--- a/prototyping/PrettyPrinter.agda
+++ b/prototyping/PrettyPrinter.agda
@@ -1,4 +1,4 @@
-module Main where
+module PrettyPrinter where
 
 open import Agda.Builtin.IO using (IO)
 open import Agda.Builtin.Int using (pos)