diff options
Diffstat (limited to 'ocamltest/Makefile')
| -rw-r--r-- | ocamltest/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/ocamltest/Makefile b/ocamltest/Makefile index b71523f9b6..34690fd411 100644 --- a/ocamltest/Makefile +++ b/ocamltest/Makefile @@ -46,7 +46,8 @@ core := \ tsl_semantics.mli tsl_semantics.ml \ builtin_variables.mli builtin_variables.ml \ actions_helpers.mli actions_helpers.ml \ - builtin_actions.mli builtin_actions.ml + builtin_actions.mli builtin_actions.ml \ + translate.mli translate.ml ocaml_plugin := \ ocaml_backends.mli ocaml_backends.ml \ |