diff options
Diffstat (limited to 'js/Branching/ISELECT_m.pickle')
| -rw-r--r-- | js/Branching/ISELECT_m.pickle | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/js/Branching/ISELECT_m.pickle b/js/Branching/ISELECT_m.pickle index 8d092c4a..ee1c723b 100644 --- a/js/Branching/ISELECT_m.pickle +++ b/js/Branching/ISELECT_m.pickle @@ -4,14 +4,16 @@ p0 ((lp1 S'x' p2 -aS'z0' +aS'model' p3 -aS'typ' +aS'z0' p4 -aS'nout' +aS'typ' p5 -atp6 -Rp7 +aS'nout' +p6 +atp7 +Rp8 .(dp0 S'model.dstate' p1 |