From 66a62461369c8df30effade90fa08e86cb63b512 Mon Sep 17 00:00:00 2001 From: tydeu Date: Wed, 18 Aug 2021 12:48:58 -0400 Subject: [PATCH] chore: fix typo --- Lake/Trace.lean | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Lake/Trace.lean b/Lake/Trace.lean index 5af1fe651f..42b31ed1cc 100644 --- a/Lake/Trace.lean +++ b/Lake/Trace.lean @@ -128,7 +128,7 @@ def checkIfNewer [GetMTime a] (artifact : a) (depMTime : MTime) : IO Bool := do -------------------------------------------------------------------------------- -- # Lake Trace (Hash + MTIme) ------------------------------------------------------------------------------- +-------------------------------------------------------------------------------- /-- Trace used for common Lake targets. Combines `Hash` and `MTime`. -/ structure LakeTrace where