From cb05181343eb90558b2cdd6f5fdab0ae30c58735 Mon Sep 17 00:00:00 2001
From: Hasekawa-Takumi <bewater.private476@passmail.net>
Date: Fri, 19 Apr 2024 09:25:52 -0400
Subject: [PATCH] update

---
 basic/src/bin/valida.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/basic/src/bin/valida.rs b/basic/src/bin/valida.rs
index 604e9c0..183c4ca 100644
--- a/basic/src/bin/valida.rs
+++ b/basic/src/bin/valida.rs
@@ -99,7 +99,7 @@ impl Context {
         if self.stopped_ == StoppingFlag::DidStop {
             return (StoppingFlag::DidStop, 0);
         }
-        let state = self.machine_.step(&mut StdinAdviceProvider);
+        let state = self.machine_.step(&mut self.advice);
         let pc = self.machine_.cpu().pc;
         let fp = self.machine_.cpu().fp;
 
@@ -338,7 +338,7 @@ fn main() {
     machine.static_data_mut().load(data);
 
     // Run the program
-    machine.run(&code, &mut StdinAdviceProvider);
+    machine.run(&code, &mut GlobalAdviceProvider::new(&args.advice));
 
     type Val = BabyBear;
     type Challenge = BinomialExtensionField<Val, 5>;