diff --git a/examples/contrib/keccak.cry b/examples/contrib/keccak.cry index 80af589f..36fa8863 100644 --- a/examples/contrib/keccak.cry +++ b/examples/contrib/keccak.cry @@ -18,7 +18,7 @@ * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN * THE SOFTWARE. - * / + */ // Specification of the Keccak (SHA-3) hash function // Author: David Lazar @@ -128,4 +128,4 @@ flatten A = join (join (transpose A)); xor : {a b} (fin a) => [a][b] -> [b]; xor xs = xors ! 0 - where xors = [0] # [| x ^ z || x <- xs || z <- xors |]; \ No newline at end of file + where xors = [0] # [| x ^ z || x <- xs || z <- xors |];