diff --git a/src/main.rs b/src/main.rs
index 64e4be48..5bf759a0 100644
--- a/src/main.rs
+++ b/src/main.rs
@@ -84,10 +84,11 @@ fn main() {
     println!("witness {:?}", witness);
 
     // run libsnark
-    #[cfg(not(feature="nolibsnark"))]
-    // number of inputs in the zkSNARK sense, i.e., input variables + output variables
-    let num_inputs = args_provided.len() + 1; //currently exactly one output variable
-    println!("run_libsnark = {:?}", run_libsnark(variables, a, b, c, witness, num_inputs));
+    #[cfg(not(feature="nolibsnark"))]{
+        // number of inputs in the zkSNARK sense, i.e., input variables + output variables
+        let num_inputs = args_provided.len() + 1; //currently exactly one output variable
+        println!("run_libsnark = {:?}", run_libsnark(variables, a, b, c, witness, num_inputs));
+    }
 }
 
 #[cfg(test)]