remove 'new' keyword from 'String::clear()' method

zetzit / zz

🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C

MIT License

1.6k stars 52 forks source link

Closed jwerle closed 4 years ago

jwerle commented 4 years ago

heyoo the new keyword in the clear() method for the string module looks like a typo. This PR removes it

aep commented 4 years ago

sorry i forgot this one. no its not a typo. clear can be called on an uninitialized value to make it initialized.

jwerle commented 4 years ago

oh! okay good to know. closing...