Visual Studio doesn't have unistd.h; signal.h isn't needed for the MSVC build#1395

Merged

kroening merged 1 commit intodevelopfrom

Sep 16, 2017

Commits on Sep 16, 2017

Visual Studio doesn't have unistd.h; signal.h isn't needed for the MSVC build
Daniel Kroening
committed