Commit f653dec

Daniel Kroening

committed

use compiler defaults for gcc defines

1 parent a31f530 commit f653decCopy full SHA for f653dec

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)