diff options
author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2012-11-29 06:59:21 +0000 |
---|---|---|
committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2012-11-29 06:59:21 +0000 |
commit | 8f6b53a5328e34ed3f22c67aad6a5ab73bb6fa8b (patch) | |
tree | 277d4cefb81445d0f3975382f053d224437c6118 /src/smt | |
parent | ff6ac38127fbb03e6c11a210b6b16d647b8785ea (diff) |
Hack to support global variables for CVC language extended to export mechanism.
- Adds GlobalVarAttr node attribute
(this commit was certified error- and warning-free by the test-and-commit script.)
Diffstat (limited to 'src/smt')
0 files changed, 0 insertions, 0 deletions