mirror of
https://github.com/nasa/trick.git
synced 2025-06-06 09:21:53 +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