[Open Crypto Project] #7: Fix lint warnings in SHA-256

[Open Crypto Project]

#7: Fix lint warnings in SHA-256
-----------------------+----------------------
  Reporter:  joachims  |      Owner:  joachims
      Type:  defect    |     Status:  new
  Priority:  major     |  Milestone:
 Component:  rtl       |    Version:
Resolution:            |   Keywords:
-----------------------+----------------------

Comment (by joachims):

 There is something fishy with those warnings. They point to sha256.v, but
 the things it complains about does not exist in sha256.v

--
Ticket URL: <https://trac.cryptech.is/ticket/7#comment:2>
Open Crypto Project <https://wiki.cryptech.is/>