diff options
Diffstat (limited to 'js/Sources/RAND_m.pickle')
| -rw-r--r-- | js/Sources/RAND_m.pickle | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/js/Sources/RAND_m.pickle b/js/Sources/RAND_m.pickle index 99914cfd..0edfeeda 100644 --- a/js/Sources/RAND_m.pickle +++ b/js/Sources/RAND_m.pickle @@ -12,10 +12,12 @@ aS'flag' p5 aS'x' p6 -aS'typ' +aS'model' p7 -atp8 -Rp9 +aS'typ' +p8 +atp9 +Rp10 .(dp0 S'model.dstate' p1 |