mirror of
https://github.com/nasa/trick.git
synced 2025-02-02 01:08:09 +00:00
e25a1b6a1f
There were a lot of places we would need to perform this check, so just remove them from the list of files to process from the start. Remove dead code. Refactor. Refs #426