diff options
| author | hallgren <hallgren@chalmers.se> | 2013-03-16 13:36:23 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2013-03-16 13:36:23 +0000 |
| commit | 80fe693546552eed32135cf01195954f4f812760 (patch) | |
| tree | 720f85a46781e7c347a99c5e486c326203de0cff /src/runtime/javascript/gfjseditor.js | |
| parent | 411d91d410a38bf44e7892ce90ae79dda5364169 (diff) | |
Fix a problem with pattern macros in pre { } expressions
The old partial evaluator has special rules to convert pattern macros in
pre { } expressions. These rules were missing in the new partial evaluator.
Diffstat (limited to 'src/runtime/javascript/gfjseditor.js')
0 files changed, 0 insertions, 0 deletions