mirror of
https://github.com/nasa/trick.git
synced 2025-03-11 15:04:14 +00:00
Backporting fix that does not split string on '-' character if it is part of "->" string. refs #51
Backporting fix that does not split string on '-' character if it is part of "->" string. refs #51