diff --git a/zokrates_ast/src/common/embed.rs b/zokrates_ast/src/common/embed.rs index de5d3ad07..72dbd9505 100644 --- a/zokrates_ast/src/common/embed.rs +++ b/zokrates_ast/src/common/embed.rs @@ -2,7 +2,7 @@ use crate::common::{ flat::{Parameter, Variable}, RuntimeError, Solver, }; -use crate::flat::flat_expression_from_bits; +use crate::flat::{flat_expression_from_bits, flat_expression_from_variable_summands}; use crate::flat::{FlatDirective, FlatExpression, FlatFunctionIterator, FlatStatement}; use crate::typed::types::{ ConcreteGenericsAssignment, DeclarationConstant, DeclarationSignature, DeclarationType, @@ -23,7 +23,6 @@ cfg_if::cfg_if! { if #[cfg(feature = "bellman")] { use pairing_ce::bn256::Bn256; use zokrates_embed::{bellman::{from_bellman, generate_sha256_round_constraints}}; - use crate::flat::flat_expression_from_variable_summands; } }