summaryrefslogtreecommitdiff
path: root/src/lib/repr/default.mli
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@chimrod.com>2021-09-08 18:06:55 +0200
committerSébastien Dailly <sebastien@chimrod.com>2021-09-08 18:06:55 +0200
commit1ba97f613c25926f4007fda9e38131fbb8961173 (patch)
tree501051e35c6c44a48b8d8a93e12267ab5d3eb8d0 /src/lib/repr/default.mli
parentd04dec688cc9159d4e3ad47890ae4b1f40c5ec3c (diff)
Update tengwar
Diffstat (limited to 'src/lib/repr/default.mli')
-rw-r--r--src/lib/repr/default.mli2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/lib/repr/default.mli b/src/lib/repr/default.mli
index 27a84bb..26c7d73 100644
--- a/src/lib/repr/default.mli
+++ b/src/lib/repr/default.mli
@@ -1 +1 @@
-include Sounds.Sig.REPR with type t = String.t
+include Sounds.Sig.REPR