Commit 8384ce3

Daniel Kroening

committed

rename stack() macro

The macro clashes with std::stack. This change is required for compilation with clang 8.

1 parent e551a17 commit 8384ce3Copy full SHA for 8384ce3

6 files changed

+431

-431

lines changed

src
- ansi-c
- jsil
  - parser.y
  - scanner.l
- util
  - parser.h

6 files changed

+431

-431

lines changed

Comments

(0)