fix: docs

leanprover · Nov 8, 2024 · 9b34212 · 9b34212
1 parent 12cc801
commit 9b34212
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/Std/Time/Format/Basic.lean b/src/Std/Time/Format/Basic.lean
@@ -914,9 +914,9 @@ private def dateFromModifier (date : DateTime tz) : TypeFormat modifier :=
   | .H _ => date.hour
   | .m _ => date.minute
   | .s _ => date.date.get.time.second
-  | .S _ => date.nanoseconds
+  | .S _ => date.nanosecond
   | .A _ => date.date.get.time.toMilliseconds
-  | .n _ => date.nanoseconds
+  | .n _ => date.nanosecond
   | .N _ => date.date.get.time.toNanoseconds
   | .V => tz.name
   | .z .short => tz.abbreviation