Merge pull request #1078 from Zokrates/missing-feature-attribute

Add missing feature attribute

zokrates_cli/src/ops/inspect.rs

@@ -63,8 +63,8 @@ fn cli_inspect<T: Field, I: Iterator<Item = ir::Statement<T>>>(
         let output_file = File::create(&output_path).unwrap();
         let mut w = BufWriter::new(output_file);
 
-        writeln!(w, "{}", curve)
-            .and(writeln!(w, "{}", constraint_count))
+        writeln!(w, "# {}", curve)
+            .and(writeln!(w, "# {}", constraint_count))
             .and(write!(w, "{}", ir_prog))
             .map_err(|why| format!("Could not write to `{}`: {}", output_path.display(), why))?;
 

zokrates_core/src/proof_system/mod.rs

@@ -16,7 +16,9 @@ use rand_0_4::Rng;
 use serde::de::DeserializeOwned;
 use serde::{Deserialize, Serialize};
 use std::io::{Read, Write};
-use zokrates_field::{BellmanFieldExtensions, Field};
+#[cfg(feature = "bellman")]
+use zokrates_field::BellmanFieldExtensions;
+use zokrates_field::Field;
 
 #[derive(Serialize)]
 pub struct SetupKeypair<V> {