diff options
Diffstat (limited to 'js/Sinks/CSCOPE.pickle')
| -rw-r--r-- | js/Sinks/CSCOPE.pickle | 15 |
1 files changed, 8 insertions, 7 deletions
diff --git a/js/Sinks/CSCOPE.pickle b/js/Sinks/CSCOPE.pickle index 780bc38d..1190c106 100644 --- a/js/Sinks/CSCOPE.pickle +++ b/js/Sinks/CSCOPE.pickle @@ -118,22 +118,23 @@ S'string' p33 sS'model.dep_ut' p34 -g29 -sS'exprs' +S'vector_boolean' p35 +sS'exprs' +p36 g2 sS'gr_i' -p36 +p37 g29 sS'ipar' -p37 +p38 g2 sS'y' -p38 +p39 g29 sS'x' -p39 -NsS'model' p40 +NsS'model' +p41 g12 s.
\ No newline at end of file |