tree ce6099407f85909c402274fea341c5127077a8f6
parent 8abf2d69fa5aa4c78c1a6222336d6e0dff7904b3
author Tim Fletcher <mail@tfletcher.com> 1318849000 +0100
committer Tim Fletcher <mail@tfletcher.com> 1318849000 +0100

Remove last clause from verify_in_constant_time/2