diff options
Diffstat (limited to 'frontend')
| -rw-r--r-- | frontend/unitype.icl | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/frontend/unitype.icl b/frontend/unitype.icl index 7a86e5c..6f377d9 100644 --- a/frontend/unitype.icl +++ b/frontend/unitype.icl @@ -764,7 +764,6 @@ where tryToMakeNonUnique :: !Int !*Coercions -> (!Bool, !*Coercions) tryToMakeNonUnique attr coercions=:{coer_demanded} - #! s = size coer_demanded | isUnique coer_demanded.[attr] // -?-> (s <= attr, ("tryToMakeNonUnique", s, attr))] = (False, coercions) |