From 215176aa1370ac09288096721db91b5fb04ee12d Mon Sep 17 00:00:00 2001
From: Dan Dore <dorebell@gmail.com>
Date: Thu, 2 May 2024 17:20:58 -0700
Subject: [PATCH] restore no_std

---
 basic/src/bin/valida.rs | 4 ++--
 cpu/src/lib.rs          | 2 ++
 cpu/src/stark.rs        | 1 -
 3 files changed, 4 insertions(+), 3 deletions(-)

diff --git a/basic/src/bin/valida.rs b/basic/src/bin/valida.rs
index 13948f4..a4c2992 100644
--- a/basic/src/bin/valida.rs
+++ b/basic/src/bin/valida.rs
@@ -435,9 +435,9 @@ fn main() {
             Ok(_) => {
                 stdout().write("Proof verified\n".as_bytes()).unwrap();
             }
-            Err(e) => {
+            Err(_) => {
                 stdout()
-                    .write("Proof verification failed: \n".as_bytes())
+                    .write("Proof verification failed\n".as_bytes())
                     .unwrap();
             }
         }
diff --git a/cpu/src/lib.rs b/cpu/src/lib.rs
index 64a2ce3..ed5c9fa 100644
--- a/cpu/src/lib.rs
+++ b/cpu/src/lib.rs
@@ -1,3 +1,5 @@
+#![no_std]
+
 extern crate alloc;
 
 use crate::columns::{CpuCols, CPU_COL_MAP, NUM_CPU_COLS};
diff --git a/cpu/src/stark.rs b/cpu/src/stark.rs
index 4ba2a62..2b9fa22 100644
--- a/cpu/src/stark.rs
+++ b/cpu/src/stark.rs
@@ -1,7 +1,6 @@
 use crate::columns::{CpuCols, NUM_CPU_COLS};
 use crate::CpuChip;
 use core::borrow::Borrow;
-
 use valida_machine::Word;
 
 use p3_air::{Air, AirBuilder, BaseAir};