From f4a9fdb3357ce1a2dfc12cbb0fee6b915bc810c4 Mon Sep 17 00:00:00 2001
From: Johannes Stoelp <johannes.stoelp@gmail.com>
Date: Thu, 7 Dec 2023 23:00:09 +0100
Subject: remove prelude

---
 examples/tiny_vm.rs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'examples/tiny_vm.rs')

diff --git a/examples/tiny_vm.rs b/examples/tiny_vm.rs
index 51a8d44..bdeb202 100644
--- a/examples/tiny_vm.rs
+++ b/examples/tiny_vm.rs
@@ -39,8 +39,9 @@
 #[cfg(not(any(target_arch = "x86_64", target_os = "linux")))]
 compile_error!("Only supported on x86_64 with SystemV abi");
 
-use juicebox_asm::prelude::*;
+use juicebox_asm::insn::*;
 use juicebox_asm::Runtime;
+use juicebox_asm::{Asm, Imm16, Imm64, Label, MemOp, Reg16, Reg64};
 
 /// A guest physical address.
 pub struct PhysAddr(pub u16);
-- 
cgit v1.2.3