mirror of
https://github.com/nasa/trick.git
synced 2025-02-01 08:48:25 +00:00
51715a0650
Changed the system call to use the new name. refs #194