(feature) Support the new regex API names str.to_re and str.in_re

[rainoftime]

Hi,
According to http://smtlib.cs.uiowa.edu/theories-UnicodeStrings.shtml

The two regex operations str.to.re and str.in.re have been changed to str.to_re and str.in_re.
Is there any plan for supporting the new API names?

[Amanda Stjerna]

Hi! Thanks for reporting this. We're working on a fix and it's planned. :)

[Philipp Ruemmer]

The new function names should be accepted in the latest master!