diff options
| author | Huon Wilson <dbau.pp+github@gmail.com> | 2015-08-28 22:42:39 -0700 |
|---|---|---|
| committer | Huon Wilson <dbau.pp+github@gmail.com> | 2015-08-29 15:36:17 -0700 |
| commit | 5a167bdb4c47c867c07160f635c3b8e867ea8baa (patch) | |
| tree | c22e784ce076a2f5d89d16d544907e2e8d7b7fb3 /src/etc | |
| parent | bea3f096ee5b0cc6f541fae4df21be36ae5ad1e2 (diff) | |
Allow unused imports in the generator.
Diffstat (limited to 'src/etc')
| -rw-r--r-- | src/etc/platform-intrinsics/generator.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/etc/platform-intrinsics/generator.py b/src/etc/platform-intrinsics/generator.py index d87d74cb6c2..37f2bf60c0f 100644 --- a/src/etc/platform-intrinsics/generator.py +++ b/src/etc/platform-intrinsics/generator.py @@ -436,6 +436,8 @@ class CompilerDefs(object): // DO NOT EDIT: autogenerated by etc/platform-intrinsics/generator.py // ignore-tidy-linelength +#![allow(unused_imports)] + use {{Intrinsic, i, u, f, v, agg}}; use IntrinsicDef::Named; use rustc::middle::ty; |