diff options
| author | Baruch Sterin <baruchs@gmail.com> | 2015-11-20 21:07:01 -0800 |
|---|---|---|
| committer | Baruch Sterin <baruchs@gmail.com> | 2015-11-20 21:07:01 -0800 |
| commit | 63fcf25aead4055e260201a1820a190e8f2fbfab (patch) | |
| tree | dfc21ce09cae04eabd3d64c12bde1b43ef04c42b /src/proof | |
| parent | 11581ca9ee8a42277c6514c07c12235e17413d99 (diff) | |
| download | abc-63fcf25aead4055e260201a1820a190e8f2fbfab.tar.gz abc-63fcf25aead4055e260201a1820a190e8f2fbfab.tar.bz2 abc-63fcf25aead4055e260201a1820a190e8f2fbfab.zip | |
add a new #define ABC_NAMESPACE_USING_NAMESPACE that adds a using decelaration when needed
Diffstat (limited to 'src/proof')
0 files changed, 0 insertions, 0 deletions