Skip to content

Added strings to prelude to fix printing of strings.length

Michael Sammler requested to merge msammler/strings_in_prelude into master

This should hopefully fix strings.length showing up in random places. I tested it with iris and RefinedC. Both compile without changes and length is no more printed as strings.length in RefinedC. See the comment for the reasoning why I think this works.

Merge request reports