mirror of
https://github.com/c-cube/iter.git
synced 2025-12-08 04:05:32 -05:00
remove symlink trick for SequenceLabels implem
This commit is contained in:
parent
b24ebfb405
commit
17801b3558
3 changed files with 2 additions and 2 deletions
2
_tags
2
_tags
|
|
@ -32,4 +32,4 @@ true: bin_annot, color(always)
|
||||||
<src/bigarray/*.ml>: warn(-33)
|
<src/bigarray/*.ml>: warn(-33)
|
||||||
true: mark_tag_used
|
true: mark_tag_used
|
||||||
<**/*.cmx>: optimize(3)
|
<**/*.cmx>: optimize(3)
|
||||||
<src/sequenceLabels.cm*>: nolabels
|
<src/*Labels.cm*>: nolabels
|
||||||
|
|
|
||||||
1
src/SequenceLabels.ml
Normal file
1
src/SequenceLabels.ml
Normal file
|
|
@ -0,0 +1 @@
|
||||||
|
include Sequence
|
||||||
|
|
@ -1 +0,0 @@
|
||||||
Sequence.ml
|
|
||||||
Loading…
Add table
Reference in a new issue