From d3e1eff9593501ff8677b9399e1f0625f415ec78 Mon Sep 17 00:00:00 2001
From: johannst <johannst@users.noreply.github.com>
Date: Thu, 7 Dec 2023 23:53:44 +0000
Subject: deploy: b5aea3fb5fcce31599e3d7397d5413a934132231

---
 src-files.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src-files.js')

diff --git a/src-files.js b/src-files.js
index 19d233f..de66aef 100644
--- a/src-files.js
+++ b/src-files.js
@@ -1,7 +1,7 @@
 var srcIndex = JSON.parse('{\
 "add":["",[],["add.rs"]],\
 "fib":["",[],["fib.rs"]],\
-"juicebox_asm":["",[["insn",[],["add.rs","call.rs","cmp.rs","dec.rs","jmp.rs","jnz.rs","jz.rs","mov.rs","nop.rs","ret.rs","test.rs"]]],["imm.rs","insn.rs","label.rs","lib.rs","prelude.rs","reg.rs","rt.rs"]],\
+"juicebox_asm":["",[["insn",[],["add.rs","call.rs","cmp.rs","dec.rs","jmp.rs","jnz.rs","jz.rs","mov.rs","nop.rs","ret.rs","test.rs"]]],["asm.rs","imm.rs","insn.rs","label.rs","lib.rs","reg.rs","rt.rs"]],\
 "tiny_vm":["",[],["tiny_vm.rs"]]\
 }');
 createSrcSidebar();
-- 
cgit v1.2.3