diff options
Diffstat (limited to 'edit')
| -rw-r--r-- | edit/010-warnings.mu | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/edit/010-warnings.mu b/edit/010-warnings.mu index 59e328c1..6e5eeace 100644 --- a/edit/010-warnings.mu +++ b/edit/010-warnings.mu @@ -137,9 +137,6 @@ recipe foo [ . x <- copy 0 ┊ . .] ┊ . .foo: missing type for x in 'x <- copy 0' ┊ . - .foo: can't copy 0 to x; types don't match ┊ . - .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊ . - . ┊ . ] ] |