Fix bug in lane-to-bytes conversion.

This commit is contained in:
Fang 2018-03-05 20:59:21 +01:00
parent b9755a1af1
commit e2061066f5

View File

@ -3136,7 +3136,7 @@
%+ can 3
=- (turn - |=(a=@ [1 a]))
=+ (flop (rip 3 a))
(weld - (reap (sub 8 (lent -)) 0x0))
(weld (reap (sub 8 (lent -)) 0x0) -)
--
::
++ keccak-f