diff options
Diffstat (limited to 'js/Sources/RAMP.pickle')
| -rw-r--r-- | js/Sources/RAMP.pickle | 15 |
1 files changed, 8 insertions, 7 deletions
diff --git a/js/Sources/RAMP.pickle b/js/Sources/RAMP.pickle index 12e16900..2b7c7b79 100644 --- a/js/Sources/RAMP.pickle +++ b/js/Sources/RAMP.pickle @@ -75,22 +75,23 @@ p22 g2 sS'model.dep_ut' p23 -g17 -sS'stt' +S'vector_boolean' p24 +sS'stt' +p25 g2 sS'exprs' -p25 +p26 g17 sS'gr_i' -p26 +p27 g17 sS'y' -p27 +p28 g17 sS'x' -p28 -NsS'model' p29 +NsS'model' +p30 g4 s.
\ No newline at end of file |