Removed delete of src/Decode.hs from make clean
Removed delete of src/Decode.hs from make clean

mit-plv/riscv-semantics,mit-plv/riscv-semantics,mit-plv/riscv-semantics,mit-plv/riscv-semantics,mit-plv/riscv-semantics