From 7465daea85285ba7f291b6bf6ddc45caa9e7ad65 Mon Sep 17 00:00:00 2001
From: Sunil Shetye
Date: Mon, 25 Jun 2018 18:20:39 +0530
Subject: add spacing to end of block also

---
 js/Branching/ESELECT_f.pickle | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

(limited to 'js/Branching/ESELECT_f.pickle')

diff --git a/js/Branching/ESELECT_f.pickle b/js/Branching/ESELECT_f.pickle
index 154645d8..0d1dde24 100644
--- a/js/Branching/ESELECT_f.pickle
+++ b/js/Branching/ESELECT_f.pickle
@@ -2,6 +2,8 @@ c__builtin__
 set
 p0
 ((lp1
-tp2
-Rp3
+S'x'
+p2
+atp3
+Rp4
 .
\ No newline at end of file
-- 
cgit