From 92f8a251bbaeddf6ec034722a3079d865517d650 Mon Sep 17 00:00:00 2001 From: Sunil Shetye Date: Sun, 15 Jul 2018 00:26:52 +0530 Subject: handle boolean differently --- js/Linear/DOLLAR_f.pickle | 15 ++++++++------- 1 file changed, 8 insertions(+), 7 deletions(-) (limited to 'js/Linear/DOLLAR_f.pickle') diff --git a/js/Linear/DOLLAR_f.pickle b/js/Linear/DOLLAR_f.pickle index a13815c6..1a4e2da9 100644 --- a/js/Linear/DOLLAR_f.pickle +++ b/js/Linear/DOLLAR_f.pickle @@ -71,22 +71,23 @@ p20 g14 sS'model.dep_ut' p21 -g10 -sS'exprs' +S'vector_boolean' p22 +sS'exprs' +p23 g14 sS'gr_i' -p23 +p24 g10 sS'y' -p24 +p25 g10 sS'x' -p25 -NsS'model' p26 +NsS'model' +p27 g4 sS'z' -p27 +p28 g2 s. \ No newline at end of file -- cgit