mirror of
https://github.com/nasa/trick.git
synced 2025-03-23 04:25:28 +00:00
The calling argument to setASTConsumer changed between clang 3.5 and 3.6. Changed the code to create a std::unique_ptr that the call now requires and call setASTConsumer with the unique pointer. Fixes #15