Small fix to be able to build on Fedora

seahorn / sea-dsa

A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.

Other

157 stars 29 forks source link

Small fix to be able to build on Fedora #151

Closed rakamaric closed 1 year ago

rakamaric commented 1 year ago

For some reason not having this include creates build problems on CentOS/Fedora. So this should fix it and it seems that it does not affect other distributions.