From dd6d00f1a322398308b68a6844900477ece2e7f6 Mon Sep 17 00:00:00 2001
From: ada <a@a.a>
Date: Fri, 30 Oct 2020 00:49:59 +0100
Subject: [PATCH] added variables from lisp to zkcircuit

---
 lisp/lisp.rs | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/lisp/lisp.rs b/lisp/lisp.rs
index 556f97e4b..fb4021f43 100644
--- a/lisp/lisp.rs
+++ b/lisp/lisp.rs
@@ -281,11 +281,12 @@ fn eval(mut ast: MalVal, mut env: Env) -> MalRet {
                                             Add(b1, b2) => {
                                                 println!("Add {:?} {:?}", b1, b2);
                                                 zk.private.push(Scalar::from_string(&b2.pr_str(false).to_string()));
-                                                env_set(&env, l[1].clone(), zk.clone());
-                                                println!("{:?}", zk);
+                                                env_set(&env, a1.clone(), types::MalVal::Zk(zk.clone()));
                                             }
                                             Sub(b1, b2) => {
                                                 println!("Sub {:?} {:?}", b1, b2);
+                                                zk.private.push(Scalar::from_string(&b2.pr_str(false).to_string()));
+                                                env_set(&env, a1.clone(), types::MalVal::Zk(zk.clone()));
                                             }
                                             _ => {
                                                 println!("not mapped");