diff options
| -rw-r--r-- | frontend/refmark.icl | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/frontend/refmark.icl b/frontend/refmark.icl index 54fbc83..15d3c93 100644 --- a/frontend/refmark.icl +++ b/frontend/refmark.icl @@ -750,8 +750,6 @@ where get_type (VI_Type atype _) = atype get_type (VI_FAType _ atype _) = atype - get_type _ = abort "has_observing_base_type (refmark.icl)" - make_shared_vars_non_unique vars fun_body coercion_env var_heap expr_heap error = foldl make_shared_var_non_unique (coercion_env, var_heap, expr_heap, error) vars |