summaryrefslogtreecommitdiff
path: root/sid.ml
diff options
context:
space:
mode:
authorPhilipp Gesang <phg@phi-gamma.net>2018-10-27 23:06:35 +0200
committerPhilipp Gesang <phg@phi-gamma.net>2018-10-30 01:15:03 +0100
commit1702e79c17b4fa05159afd503f3dcd631c1a86d0 (patch)
tree7f7a1e962c6ad7ec7e19b5c9d4e91267f9411991 /sid.ml
parent8d1269767de9268db630187fc9da9b58c49a0745 (diff)
downloadocaml-sid-1702e79c17b4fa05159afd503f3dcd631c1a86d0.tar.gz
add readme and license text
Diffstat (limited to 'sid.ml')
-rw-r--r--sid.ml2
1 files changed, 2 insertions, 0 deletions
diff --git a/sid.ml b/sid.ml
index ece361d..430393d 100644
--- a/sid.ml
+++ b/sid.ml
@@ -1,3 +1,5 @@
+(* SPDX-License-Identifier: LGPL-3.0-only *)
+
module U64 = Stdint.Uint64
module U32 = Stdint.Uint32