This commit is contained in:
Nathan Dwarshuis 2023-06-13 20:12:23 -04:00
parent b2e4ee05e8
commit 592c1550c0
1 changed files with 1 additions and 1 deletions

View File

@ -96,7 +96,7 @@ let partN =
let toEntry = let toEntry =
\(x : PartEntry) -> \(x : PartEntry) ->
nullEntry (T.EntryAcntGetter.ConstT x._1) c nullEntry (T.EntryAcntGetter.ConstT x._1) c
// { eValue = Some (T.EntryNumGetter.ConstN x._2) // { eValue = Some (T.ToEntryNumGetter.TConstN x._2)
, eComment = x._3 , eComment = x._3
} }