Commit bce9eebc authored by bamoon's avatar bamoon

fixed typo

parent e18592fa
......@@ -26,7 +26,7 @@
(vars (v v0 data) (key0 key skey))
(trace (tran (cat v v0) (cat v v0 (hash v0))))
(fn-of (key-of (v0 key0) ((hash v0) key)))
(lt key0 key1)))
(lt key0 key)))
(defskeleton tesla
(vars (mj text) (k1 k0 kmac-1 kmac-2 skey))
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment