diff options
Diffstat (limited to 'js/Sinks/CFSCOPE.pickle')
| -rw-r--r-- | js/Sinks/CFSCOPE.pickle | 15 |
1 files changed, 8 insertions, 7 deletions
diff --git a/js/Sinks/CFSCOPE.pickle b/js/Sinks/CFSCOPE.pickle index e7fb7ed3..2995c739 100644 --- a/js/Sinks/CFSCOPE.pickle +++ b/js/Sinks/CFSCOPE.pickle @@ -112,22 +112,23 @@ p31 g10 sS'model.dep_ut' p32 -g18 -sS'exprs' +S'vector_boolean' p33 +sS'exprs' +p34 g2 sS'gr_i' -p34 +p35 g18 sS'ipar' -p35 +p36 g2 sS'y' -p36 +p37 g18 sS'x' -p37 -NsS'model' p38 +NsS'model' +p39 g5 s.
\ No newline at end of file |