diff options
Diffstat (limited to 'js/Branching/ISELECT_f.pickle')
| -rw-r--r-- | js/Branching/ISELECT_f.pickle | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/js/Branching/ISELECT_f.pickle b/js/Branching/ISELECT_f.pickle index 77d2410a..2ff73b61 100644 --- a/js/Branching/ISELECT_f.pickle +++ b/js/Branching/ISELECT_f.pickle @@ -4,12 +4,14 @@ p0 ((lp1 S'x' p2 -aS'z0' +aS'model' p3 -aS'nout' +aS'z0' p4 -atp5 -Rp6 +aS'nout' +p5 +atp6 +Rp7 .(dp0 S'model.dstate' p1 |