diff options
Diffstat (limited to 'frontend/refmark.icl')
| -rw-r--r-- | frontend/refmark.icl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/frontend/refmark.icl b/frontend/refmark.icl index f528fa6..5b803ae 100644 --- a/frontend/refmark.icl +++ b/frontend/refmark.icl @@ -529,7 +529,7 @@ where EI_Attribute sa_attr_nr # (succ, coercion_env) = tryToMakeNonUnique sa_attr_nr coercion_env | succ - ---> ("make_shared_occurrence_non_unique", free_var, var_expr_ptr) +// ---> ("make_shared_occurrence_non_unique", free_var, var_expr_ptr) -> (coercion_env, expr_heap, error) -> (coercion_env, expr_heap, uniquenessError { cp_expression = FreeVar free_var} " demanded attribute cannot be offered by shared object" error) _ |