summaryrefslogtreecommitdiff
path: root/driver/optcompile.ml
diff options
context:
space:
mode:
authoralainfrisch <alain@frisch.fr>2015-12-02 14:46:14 +0100
committeralainfrisch <alain@frisch.fr>2015-12-02 14:46:14 +0100
commit7ad212045f4736c92df3893d29529a05d4492843 (patch)
tree3848acd225e2a55f48e6912411372c44b380833c /driver/optcompile.ml
parent7fc4265c3fca4066da623e78fa37a75e2605c698 (diff)
downloadocaml-7ad212045f4736c92df3893d29529a05d4492843.tar.gz
Add module to deal with 'front-end' built-in attributes.
Diffstat (limited to 'driver/optcompile.ml')
-rw-r--r--driver/optcompile.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/driver/optcompile.ml b/driver/optcompile.ml
index 64bb6dabda..405011c411 100644
--- a/driver/optcompile.ml
+++ b/driver/optcompile.ml
@@ -43,7 +43,7 @@ let interface ppf sourcefile outputprefix =
Typecore.force_delayed_checks ();
Warnings.check_fatal ();
if not !Clflags.print_types then begin
- let deprecated = Typetexp.deprecated_of_sig ast in
+ let deprecated = Builtin_attributes.deprecated_of_sig ast in
let sg = Env.save_signature ~deprecated sg modulename (outputprefix ^ ".cmi") in
Typemod.save_signature modulename tsg outputprefix sourcefile
initial_env sg ;