diff options
Diffstat (limited to 'frontend/generics1.icl')
| -rw-r--r-- | frontend/generics1.icl | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/frontend/generics1.icl b/frontend/generics1.icl index 6046b6b..f950a10 100644 --- a/frontend/generics1.icl +++ b/frontend/generics1.icl @@ -895,8 +895,6 @@ where = make_type_var tv_info_ptr heaps make_expr (GTV {tv_info_ptr}) heaps = make_type_var tv_info_ptr heaps - make_expr (TQV {tv_info_ptr}) heaps - = make_type_var tv_info_ptr heaps make_expr TE heaps = make_error_type_cons heaps make_expr (TFA _ _) heaps |