diff options
Diffstat (limited to 'frontend/syntax.dcl')
| -rw-r--r-- | frontend/syntax.dcl | 2 |
1 files changed, 1 insertions, 1 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 |