summaryrefslogtreecommitdiff
path: root/util
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 /util
parent8d1269767de9268db630187fc9da9b58c49a0745 (diff)
downloadocaml-sid-1702e79c17b4fa05159afd503f3dcd631c1a86d0.tar.gz
add readme and license text
Diffstat (limited to 'util')
-rw-r--r--util/sidparse.ml2
1 files changed, 2 insertions, 0 deletions
diff --git a/util/sidparse.ml b/util/sidparse.ml
index e99d27f..5ab6bf4 100644
--- a/util/sidparse.ml
+++ b/util/sidparse.ml
@@ -1,3 +1,5 @@
+(* SPDX-License-Identifier: LGPL-3.0-only *)
+
let err q v =
match q, v with
| true, _ -> Printf.ifprintf stdout