Commit 448c780

Daniel Kroening

committed

use run() in ansi-c/c_preprocess

1 parent 5b0a5bb commit 448c780Copy full SHA for 448c780

1 file changed

+75

-164

lines changed

src/ansi-c
- c_preprocess.cpp

1 file changed

+75

-164

lines changed

Comments

(0)