diff options
Diffstat (limited to 'frontend')
| -rw-r--r-- | frontend/syntax.dcl | 2 | ||||
| -rw-r--r-- | frontend/syntax.icl | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/frontend/syntax.dcl b/frontend/syntax.dcl index 91f5cc1..a44ac45 100644 --- a/frontend/syntax.dcl +++ b/frontend/syntax.dcl @@ -6,7 +6,7 @@ import scanner, general, typeproperties, Heap PA_BUG on off :== on -switch_import_syntax one_point_three two_point_zero :== two_point_zero +switch_import_syntax one_point_three two_point_zero :== one_point_three /* when finally removing this switch also remove the argument of STE_Instance and ID_OldSyntax */ SwitchFusion fuse dont_fuse :== dont_fuse diff --git a/frontend/syntax.icl b/frontend/syntax.icl index 9ed4cf7..4d7e8f1 100644 --- a/frontend/syntax.icl +++ b/frontend/syntax.icl @@ -5,7 +5,7 @@ import StdEnv, compare_constructor // ,RWSDebug import scanner, general, Heap, typeproperties, utilities PA_BUG on off :== on -switch_import_syntax one_point_three two_point_zero :== two_point_zero +switch_import_syntax one_point_three two_point_zero :== one_point_three SwitchFusion fuse dont_fuse :== dont_fuse switch_port_to_new_syntax port dont_port :== dont_port |