bugfix for predefined operations

This commit is contained in:
krangelov
2021-10-21 08:55:22 +02:00
parent 64ccd82958
commit 38d189f8ef
3 changed files with 4 additions and 1 deletions

View File

@@ -1,5 +1,6 @@
4
5
Predef.length Predef.nonExist
\v0 -> Predef.length v0
"ab"
"cd"