diff --git a/roles/dev/tasks/main.yml b/roles/dev/tasks/main.yml index 9350b73..c33477b 100644 --- a/roles/dev/tasks/main.yml +++ b/roles/dev/tasks/main.yml @@ -14,7 +14,7 @@ when: "'haskell' in tools" - name: OCaml dev environment - ansible.builtin.import_tasks: haskell.yml + ansible.builtin.import_tasks: ocaml.yml when: "'ocaml' in tools" - name: Coq dev environment