Code

include correct header for hostent#2853

Code

Merged

kroening merged 1 commit intodevelopdiffblue/cbmc:developfrom

gethostbyname-windowsdiffblue/cbmc:gethostbyname-windowsCopy head branch name to clipboard

Aug 30, 2018

Commits

Commits on Aug 30, 2018

• include correct header for hostent

  

  Daniel Kroening

  committed
  8be9671

  Copy full SHA for 8be9671