summaryrefslogtreecommitdiff
path: root/Common.lean
diff options
context:
space:
mode:
Diffstat (limited to 'Common.lean')
-rw-r--r--Common.lean1
1 files changed, 1 insertions, 0 deletions
diff --git a/Common.lean b/Common.lean
index b74da23..abbede8 100644
--- a/Common.lean
+++ b/Common.lean
@@ -3,3 +3,4 @@ import Common.Option
import Common.DayPart
import Common.String
import Common.List
+import Common.Char