diff options
| author |  Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2016-03-21 00:26:02 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2016-03-21 00:36:57 +0100 |
| commit | a581331f26d96d1a037128ae83bebd5e6c27f665 (patch) | |
| tree | a45c2df2962dffd9ccdab2806f23c717d87d9fdc /myocamlbuild.ml | |
| parent | df6132c06f9c8480b01f0a269cd1b95bbaa7f912 (diff) | |
Creating a dedicated ltac/ folder for Hightactics.
Diffstat (limited to 'myocamlbuild.ml')
| -rw-r--r-- | myocamlbuild.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/myocamlbuild.ml b/myocamlbuild.ml index 73ef7e1ed..ad1f8cbcc 100644 --- a/myocamlbuild.ml +++ b/myocamlbuild.ml @@ -107,7 +107,7 @@ let core_libs = "engine/engine"; "pretyping/pretyping"; "interp/interp"; "proofs/proofs"; "parsing/parsing"; "printing/printing"; "tactics/tactics"; "stm/stm"; "toplevel/toplevel"; "parsing/highparsing"; - "tactics/hightactics"] + "ltac/ltac"] let core_cma = List.map (fun s -> s^".cma") core_libs let core_cmxa = List.map (fun s -> s^".cmxa") core_libs let core_mllib = List.map (fun s -> s^".mllib") core_libs |