From c6ba6e7bb5879a5f0086940133c5b6806f7bcfd4 Mon Sep 17 00:00:00 2001
From: schaeff <thibaut@schaeff.fr>
Date: Sat, 22 Jun 2019 17:33:57 +0200
Subject: [PATCH] zero is a lincomb

---
 zokrates_core/src/ir/expression.rs | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/zokrates_core/src/ir/expression.rs b/zokrates_core/src/ir/expression.rs
index 35198412..30c5d40a 100644
--- a/zokrates_core/src/ir/expression.rs
+++ b/zokrates_core/src/ir/expression.rs
@@ -31,6 +31,11 @@ impl<T: Field> QuadComb<T> {
             }
             _ => {}
         }
+
+        if self.left.is_zero() || self.right.is_zero() {
+            return Some(LinComb::zero());
+        }
+
         None
     }
 }