Commit 0d702d5

Daniel Kroening

committed

use compiler defaults for gcc defines

1 parent d0903a7 commit 0d702d5Copy full SHA for 0d702d5

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)