diff options
Diffstat (limited to 'js/Branching/SCALAR2VECTOR.pickle')
| -rw-r--r-- | js/Branching/SCALAR2VECTOR.pickle | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/js/Branching/SCALAR2VECTOR.pickle b/js/Branching/SCALAR2VECTOR.pickle index 0d1dde24..18e545bb 100644 --- a/js/Branching/SCALAR2VECTOR.pickle +++ b/js/Branching/SCALAR2VECTOR.pickle @@ -4,6 +4,8 @@ p0 ((lp1 S'x' p2 -atp3 -Rp4 +aS'nout' +p3 +atp4 +Rp5 .
\ No newline at end of file |