]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d9c40cc) | patch
[StaticAnalyzer] Add missing include to SMTAPI.h. [NFC]
authorDavid L. Jones <dlj@google.com>
Sat, 9 Feb 2019 02:41:55 +0000 (02:41 +0000)
committerDavid L. Jones <dlj@google.com>
Sat, 9 Feb 2019 02:41:55 +0000 (02:41 +0000)
commit1fa8b1fbd40d147ef9fa0fe73fbd44977250989f
tree9cc4c7913049dbb1fbfc80143a9a3af35745192atree | snapshot
parentd9c40ccfc4852997df56264c1ff5c50a793c1bc6commit | diff
[StaticAnalyzer] Add missing include to SMTAPI.h. [NFC]

This include is needed for types within SMTAPI.h. (It's very possible that
compilation would succeed without it, but that's only by chance.)

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@353599 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/StaticAnalyzer/Core/PathSensitive/SMTAPI.h diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.