From 8e64cc68b132e0818a70589b8cfb5e3e83b74db3 Mon Sep 17 00:00:00 2001
From: schaeff <thibaut@schaeff.fr>
Date: Mon, 11 Feb 2019 16:20:47 +0100
Subject: [PATCH] remove call to unimplemented cast

---
 zokrates_core/src/flatten/mod.rs | 1 -
 1 file changed, 1 deletion(-)

diff --git a/zokrates_core/src/flatten/mod.rs b/zokrates_core/src/flatten/mod.rs
index cfd5a03f..ae672681 100644
--- a/zokrates_core/src/flatten/mod.rs
+++ b/zokrates_core/src/flatten/mod.rs
@@ -49,7 +49,6 @@ impl Flattener {
     fn load_corelib<T: Field>(&mut self, functions_flattened: &mut Vec<FlatFunction<T>>) -> () {
         // Load type casting functions
         functions_flattened.push(cast(&Type::Boolean, &Type::FieldElement));
-        functions_flattened.push(cast(&Type::FieldElement, &Type::Boolean));
 
         // Load IfElse helper
         let ie = TypedFunction {