Fix

arkworks-rs · Feb 1, 2025 · b8032cc · b8032cc
1 parent d2df2b1
commit b8032cc
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/relations/src/gr1cs/constraint_system.rs b/relations/src/gr1cs/constraint_system.rs
@@ -422,7 +422,7 @@ impl<F: Field> ConstraintSystem<F> {
                 if let Some(unsatisfied_constraint) =
                     predicate.which_constraint_is_unsatisfied(self)
                 {
-                    let mut trace;
+                    let trace;
                     #[cfg(feature = "std")]
                     {
                         trace = self.predicate_traces[label][unsatisfied_constraint]

diff --git a/relations/src/gr1cs/predicate/mod.rs b/relations/src/gr1cs/predicate/mod.rs
@@ -5,7 +5,7 @@
 
 pub mod polynomial_constraint;
 
-use super::{Constraint, ConstraintSystem, LcIndex, LinearCombination, Matrix};
+use super::{Constraint, ConstraintSystem, LcIndex, Matrix};
 use crate::utils::{error::SynthesisError::ArityMismatch, variable::Variable::SymbolicLc};
 use ark_ff::Field;
 use ark_serialize::{CanonicalSerialize, Compress, SerializationError};

diff --git a/snark/src/lib.rs b/snark/src/lib.rs
@@ -1,6 +1,6 @@
 //! This crate contains traits that define the basic behaviour of SNARKs.
 
-#![cfg_attr(not(feature = "std"), no_std)]
+#![no_std]
 #![warn(
     unused,
     future_incompatible,