diff options
Diffstat (limited to 'frontend')
| -rw-r--r-- | frontend/checktypes.icl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/frontend/checktypes.icl b/frontend/checktypes.icl index 76961ea..b8c1f13 100644 --- a/frontend/checktypes.icl +++ b/frontend/checktypes.icl @@ -1394,7 +1394,7 @@ where , td_args = td_args , td_attrs = [] , td_context = [] - , td_rhs = RecordType {rt_constructor = cons_symbol, rt_fields = { field \\ field <- reverse rev_fields } /*, rt_is_boxed_record=False*/} + , td_rhs = RecordType {rt_constructor = cons_symbol, rt_fields = { field \\ field <- reverse rev_fields }, rt_is_boxed_record=False} , td_attribute = TA_None , td_pos = NoPos , td_used_types = [] |