diff options
| author | Philipp Gesang <phg@phi-gamma.net> | 2018-11-03 19:52:31 +0100 |
|---|---|---|
| committer | Philipp Gesang <phg@phi-gamma.net> | 2018-11-03 19:53:09 +0100 |
| commit | 2a999d7988d886b5e887988c68095addbbf9a794 (patch) | |
| tree | 3eabf879cf5bf06bf3e2cc13d33b57e2b1ff3fcd /sid.ml | |
| parent | 90222b8fa7d6c7967155d556aa9c73109fd7e03e (diff) | |
| download | ocaml-sid-2a999d7988d886b5e887988c68095addbbf9a794.tar.gz | |
add linking exception to license
Diffstat (limited to 'sid.ml')
| -rw-r--r-- | sid.ml | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,4 +1,4 @@ -(* SPDX-License-Identifier: LGPL-3.0-only *) +(* SPDX-License-Identifier: LGPL-3.0-only WITH OCaml-LGPL-linking-exception *) module U64 = Stdint.Uint64 module U32 = Stdint.Uint32 |