diff options
Diffstat (limited to 'js/Branching/SCALAR2VECTOR.pickle')
| -rw-r--r-- | js/Branching/SCALAR2VECTOR.pickle | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/js/Branching/SCALAR2VECTOR.pickle b/js/Branching/SCALAR2VECTOR.pickle index 4e1ae1ca..9443cd1e 100644 --- a/js/Branching/SCALAR2VECTOR.pickle +++ b/js/Branching/SCALAR2VECTOR.pickle @@ -4,10 +4,12 @@ p0 ((lp1 S'x' p2 -aS'nout' +aS'model' p3 -atp4 -Rp5 +aS'nout' +p4 +atp5 +Rp6 .(dp0 S'[model,graphics,ok]' p1 |