diff options
Diffstat (limited to 'js/Branching/DEMUX_f.pickle')
| -rw-r--r-- | js/Branching/DEMUX_f.pickle | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/js/Branching/DEMUX_f.pickle b/js/Branching/DEMUX_f.pickle index 0457a4f9..c677bac8 100644 --- a/js/Branching/DEMUX_f.pickle +++ b/js/Branching/DEMUX_f.pickle @@ -44,17 +44,17 @@ p13 sS'nin' p14 g8 -sS'graphics.exprs' +sS'[this.model,graphics,ok]' p15 -NsS'model.ipar' +g8 +sS'graphics.exprs' p16 +NsS'model.ipar' +p17 g8 sS'typ' -p17 -g6 -sS'[model,graphics,ok]' p18 -g8 +g6 sS'ok' p19 S'boolean' |