Merge branch 'master' of github.com:algebraic-dev/lean4

leanprover · Nov 6, 2024 · 6203f4b · 6203f4b
2 parents d6e2024 + 0fef367
commit 6203f4b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Std/Time/DateTime/PlainDateTime.lean b/src/Std/Time/DateTime/PlainDateTime.lean
@@ -44,7 +44,7 @@ def toTimestampAssumingUTC (dt : PlainDateTime) : Timestamp :=
   Timestamp.ofNanosecondsSinceUnixEpoch (Nanosecond.Offset.ofInt nanos)
 
 /--
-Converts a UNIX `Timestamp` to a `PlainDateTime`.
+Converts a `Timestamp` to a `PlainDateTime`.
 -/
 def ofTimestamp (stamp : Timestamp) : PlainDateTime := Id.run do
   let leapYearEpoch := 11017