Commit bc7ebaa

Daniel Kroening

committed

use compiler defaults for gcc defines

1 parent 5a222af commit bc7ebaaCopy full SHA for bc7ebaa

2 files changed

+80

-302

lines changed

src
- ansi-c
  - c_preprocess.cpp
- util
  - config.cpp

2 files changed

+80

-302

lines changed

Comments

(0)