From 0a3a3de53938dfdc83cca1b18c792ec576d3c8f4 Mon Sep 17 00:00:00 2001
From: Sunil Shetye
Date: Wed, 18 Jul 2018 11:59:12 +0530
Subject: remove exprs from list

---
 js/Branching/EXTRACTOR.js | 1 -
 1 file changed, 1 deletion(-)

(limited to 'js/Branching/EXTRACTOR.js')

diff --git a/js/Branching/EXTRACTOR.js b/js/Branching/EXTRACTOR.js
index a2757def..8cc0aa26 100644
--- a/js/Branching/EXTRACTOR.js
+++ b/js/Branching/EXTRACTOR.js
@@ -28,7 +28,6 @@ function EXTRACTOR() {
         while (true) {
             var ok = true;
             this.ind = parseFloat(arguments[0]["ind"]);
-            this.exprs = arguments[0]["exprs"];
             if (!ok) {
                 break;
             }
-- 
cgit