diff options
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/coqmktop.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/coqmktop.ml b/scripts/coqmktop.ml index e087271aef..ffa62cdf4a 100644 --- a/scripts/coqmktop.ml +++ b/scripts/coqmktop.ml @@ -48,7 +48,7 @@ let gramobjs = ["g_zsyntax.cmo"; "g_natsyntax.cmo"] let notopobjs = gramobjs (* 5. High-level tactics objects *) -let hightactics = split_cmo Tolink.hightactics +let hightactics = (split_cmo Tolink.hightactics) @ (split_cmo Tolink.contrib) (* environment *) let src_coqtop = ref Coq_config.coqtop |