From d9cd94f20de2ca891aec4e6eb0b232b85d836403 Mon Sep 17 00:00:00 2001
From: Dan Gohman <sunfish@mozilla.com>
Date: Thu, 19 Apr 2018 12:19:21 -0700
Subject: [PATCH] Add settings::Configurable and isa to the prelude.

These are useful for API users that customize the TargetIsa.
---
 lib/umbrella/src/lib.rs | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/lib/umbrella/src/lib.rs b/lib/umbrella/src/lib.rs
index f2a93ad230..de89cd5788 100644
--- a/lib/umbrella/src/lib.rs
+++ b/lib/umbrella/src/lib.rs
@@ -30,6 +30,8 @@ pub mod prelude {
     pub use codegen::ir::types;
     pub use codegen::ir::condcodes::{IntCC, FloatCC};
     pub use codegen::ir::immediates::{Ieee32, Ieee64};
+    pub use codegen::settings::{self, Configurable};
+    pub use codegen::isa;
 
     pub use frontend::{FunctionBuilderContext, FunctionBuilder, Variable};
 }