From 17801b35587315210ae5bb6eaa70e8af7f6aaca2 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Fri, 15 Dec 2017 12:42:13 +0100
Subject: [PATCH] remove symlink trick for SequenceLabels implem

---
 _tags                 | 2 +-
 src/SequenceLabels.ml | 1 +
 src/sequenceLabels.ml | 1 -
 3 files changed, 2 insertions(+), 2 deletions(-)
 create mode 100644 src/SequenceLabels.ml
 delete mode 120000 src/sequenceLabels.ml

diff --git a/_tags b/_tags
index 831c1ef..825dc26 100644
--- a/_tags
+++ b/_tags
@@ -32,4 +32,4 @@ true: bin_annot, color(always)
 <src/bigarray/*.ml>: warn(-33)
 true: mark_tag_used
 <**/*.cmx>: optimize(3)
-<src/sequenceLabels.cm*>: nolabels
+<src/*Labels.cm*>: nolabels
diff --git a/src/SequenceLabels.ml b/src/SequenceLabels.ml
new file mode 100644
index 0000000..fb15e92
--- /dev/null
+++ b/src/SequenceLabels.ml
@@ -0,0 +1 @@
+include Sequence
diff --git a/src/sequenceLabels.ml b/src/sequenceLabels.ml
deleted file mode 120000
index b990b32..0000000
--- a/src/sequenceLabels.ml
+++ /dev/null
@@ -1 +0,0 @@
-Sequence.ml
\ No newline at end of file