diff options
Diffstat (limited to 'js/Branching/EXTRACTOR.pickle')
| -rw-r--r-- | js/Branching/EXTRACTOR.pickle | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/js/Branching/EXTRACTOR.pickle b/js/Branching/EXTRACTOR.pickle index 5f4e62f6..95e6c805 100644 --- a/js/Branching/EXTRACTOR.pickle +++ b/js/Branching/EXTRACTOR.pickle @@ -6,8 +6,10 @@ S'ind' p2 aS'x' p3 -atp4 -Rp5 +aS'model' +p4 +atp5 +Rp6 .(dp0 S'[model,graphics,ok]' p1 |