diff --git a/miri/fn_call.rs b/miri/fn_call.rs
index de69c58fb4ac..c862238e889c 100644
--- a/miri/fn_call.rs
+++ b/miri/fn_call.rs
@@ -3,6 +3,7 @@ use rustc::ty::layout::{self, Align, LayoutOf};
 use rustc::hir::def_id::{DefId, CRATE_DEF_INDEX};
 use rustc::mir;
 use rustc_data_structures::indexed_vec::Idx;
+use rustc_target::spec::abi::Abi;
 use syntax::attr;
 use syntax::codemap::Span;
 
diff --git a/miri/lib.rs b/miri/lib.rs
index ca479e765ce5..5818a2708504 100644
--- a/miri/lib.rs
+++ b/miri/lib.rs
@@ -444,9 +444,9 @@ impl<'mir, 'tcx: 'mir> Machine<'mir, 'tcx> for Evaluator<'tcx> {
     }
 
     fn validation_op<'a>(
-        ecx: &mut EvalContext<'a, 'mir, 'tcx, Self>,
-        op: ::rustc::mir::ValidationOp,
-        operand: &::rustc::mir::ValidationOperand<'tcx, ::rustc::mir::Place<'tcx>>,
+        _ecx: &mut EvalContext<'a, 'mir, 'tcx, Self>,
+        _op: ::rustc::mir::ValidationOp,
+        _operand: &::rustc::mir::ValidationOperand<'tcx, ::rustc::mir::Place<'tcx>>,
     ) -> EvalResult<'tcx> {
         // FIXME: prevent this from ICEing
         //ecx.validation_op(op, operand)