From 6945c597d9f39e8d603e8cdac17705c8b167e2ba Mon Sep 17 00:00:00 2001
From: Kamen Mladenov <kamen@syndamia.com>
Date: Fri, 31 Jan 2025 12:58:24 +0200
Subject: fix(zkvms/nexus): Use the zkvms_host_io Output type, instead of the
 local one

---
 zkvms/nexus/host/src/main.rs | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/zkvms/nexus/host/src/main.rs b/zkvms/nexus/host/src/main.rs
index 561c2f0..a4e7964 100644
--- a/zkvms/nexus/host/src/main.rs
+++ b/zkvms/nexus/host/src/main.rs
@@ -1,12 +1,10 @@
-use zkvms_host_io::{Input, read_args, RunType::{ Execute, Prove, Verify }};
+use zkvms_host_io::{Input, Output, read_args, RunType::{ Execute, Prove, Verify }};
 use nexus_sdk::{
     compile::CompileOpts,
     nova::seq::{Generate, Nova, PP},
     Local, Prover, Verifiable,
 };
 
-type Output = bool;
-
 fn main() {
     let run_info = read_args();
     if run_info.run_type == Execute {
-- 
cgit v1.2.3