equal
deleted
inserted
replaced
171 |
171 |
172 self add: 'self recordMatch: ', state storeString, ' priority: ', priority asString, '.' |
172 self add: 'self recordMatch: ', state storeString, ' priority: ', priority asString, '.' |
173 ! |
173 ! |
174 |
174 |
175 codeReturn: code |
175 codeReturn: code |
176 arguments profile ifTrue:[ |
176 options profile ifTrue:[ |
177 self codeProfileStop. |
177 self codeProfileStop. |
178 ]. |
178 ]. |
179 self code: '^ '. |
179 self code: '^ '. |
180 self codeOnLine: code |
180 self codeOnLine: code |
181 ! |
181 ! |