From 2d47cd0877d37ddb23f844682159a6fc1a8b862b Mon Sep 17 00:00:00 2001
From: ada <a@a.a>
Date: Wed, 30 Dec 2020 21:38:55 +0100
Subject: [PATCH] eval modifications

---
 lisp/lisp.rs     | 3 +++
 lisp/new-cs.lisp | 6 +-----
 2 files changed, 4 insertions(+), 5 deletions(-)

diff --git a/lisp/lisp.rs b/lisp/lisp.rs
index 592e74a6c..a2c8f0372 100644
--- a/lisp/lisp.rs
+++ b/lisp/lisp.rs
@@ -315,6 +315,9 @@ fn eval(mut ast: MalVal, mut env: Env) -> MalRet {
                         let value = eval(l[2].clone(), env.clone())?;
                         let result = eval(value.clone(), env.clone())?;
                         let symbol = MalVal::Sym(a1.pr_str(false));
+                        let mut circuit = env_circuit(env.clone());
+                        circuit.allocs.push(Some(Allocation{symbol: symbol, value: value }));
+
                         env_set(&env, symbol,  result)
                     }
                     //Sym(ref a0sym) if a0sym == "verify" => {
diff --git a/lisp/new-cs.lisp b/lisp/new-cs.lisp
index 0084929cc..e31372d19 100644
--- a/lisp/new-cs.lisp
+++ b/lisp/new-cs.lisp
@@ -25,11 +25,7 @@
     (scalar::one x3)  
   )
 
-  ;; (enforce 
-  ;;   (scalar::one tmp) 
-  ;;   ((scalar::one left_i) (mimc_constant cs::one)) 
-  ;;   ((scalar::one left_i_1) ((neg scalar::one) right))
-  ;;  )
+)
   )
 ))
 (prove))