summaryrefslogtreecommitdiff
path: root/src/bin/transcriptor.ml
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@chimrod.com>2021-09-03 17:37:03 +0200
committerSébastien Dailly <sebastien@chimrod.com>2021-09-03 17:37:03 +0200
commit123c8bc693063cfc880709c7dfa700a177a66adb (patch)
tree5dd508c4ac5876fe80a661a4281b6fdaf3d064a9 /src/bin/transcriptor.ml
parent48dc04c3b9afe19207d15b873452129d9c2b3b4c (diff)
Ended refactoring
Diffstat (limited to 'src/bin/transcriptor.ml')
-rw-r--r--src/bin/transcriptor.ml3
1 files changed, 1 insertions, 2 deletions
diff --git a/src/bin/transcriptor.ml b/src/bin/transcriptor.ml
index d8cc6db..6d02e9d 100644
--- a/src/bin/transcriptor.ml
+++ b/src/bin/transcriptor.ml
@@ -1,8 +1,7 @@
module T = Translator
module P = T.Parser
-module Parser = P.Make(Sounds)
-module I = Parser.MenhirInterpreter
+module I = P.MenhirInterpreter
let process (optional_line : string option) =
match optional_line with