diff options
Diffstat (limited to 'utils/crc.mli')
| -rw-r--r-- | utils/crc.mli | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/utils/crc.mli b/utils/crc.mli deleted file mode 100644 index eae8ca6eb2..0000000000 --- a/utils/crc.mli +++ /dev/null @@ -1,6 +0,0 @@ -(* CRC computation *) - -val for_string: string -> int -> int -> int -external for_channel: in_channel -> int -> int = "crc_chan" - - |