Remove dead code

This commit is contained in:
Reynir Björnsson 2018-09-07 11:59:00 +02:00
parent dc831af41e
commit 544969ce97

View file

@ -24,11 +24,9 @@ open Bin
let ( << ) x y = left32 x y ;;
let ( >> ) x y = right32 x y ;;
let ( & ) x y = and32 x y ;;
(* ^ is more useful as a 32-bit XOR than it is as a string-concat *)
let ( ^^ ) = ( ^ ) ;;
let ( ^ ) x y = xor32 x y ;;
type ctx = {
k : Int32.t array;