diff options
Diffstat (limited to 'src/generator/dune')
| -rw-r--r-- | src/generator/dune | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/src/generator/dune b/src/generator/dune index 13b051a..a4533e6 100644 --- a/src/generator/dune +++ b/src/generator/dune @@ -1,9 +1,3 @@ (executable (name gen_unicode) - (libraries str)) - -(rule - (targets gen_unicode.ml) - (deps gen_unicode.ml.inc) - (action - (run cp gen_unicode.ml.inc gen_unicode.ml))) + (libraries str sedlex.utils)) |