hwayne/learntla-v2

Bug in the LET sample sepc

gdymind opened this issue · 1 comments

In LET, it said:

ToClock2(seconds) ==
  LET
    h == seconds \div 3600
    h_left == seconds % 3600
    m == h_left \div 60
    m_left == h_left % 60
    s == m_left \div 60
  IN
    <<h, m, s>>

It should be s == m_left instead of s == m_left \div 60

Fixed!