1 files changed, 1 insertions, 0 deletions

diff --git a/Day2.lean b/Day2.lean
index f0eff56..7208a3d 100644
--- a/Day2.lean
+++ b/Day2.lean
@@ -1,5 +1,6 @@
 import Common
 
+namespace Day2
 structure Draw (α : Type) where
   red : α
   green : α