mirror of
https://github.com/nasa/trick.git
synced 2025-01-27 06:39:33 +00:00
aecc0504fa
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