diff options
| author | Baruch Sterin <baruchs@gmail.com> | 2018-04-02 14:40:29 -0700 |
|---|---|---|
| committer | Baruch Sterin <baruchs@gmail.com> | 2018-04-02 15:30:58 -0700 |
| commit | dc4320d7d7fa00975132f659b4a41052b3d0030f (patch) | |
| tree | c86b44c512e59b28fc0fd2b1f96d5c2bdc124a40 /src/proof/dch/dchClass.c | |
| parent | 9c78efbadfe1936107aacc5dff6092062c1b3896 (diff) | |
| download | abc-dc4320d7d7fa00975132f659b4a41052b3d0030f.tar.gz abc-dc4320d7d7fa00975132f659b4a41052b3d0030f.tar.bz2 abc-dc4320d7d7fa00975132f659b4a41052b3d0030f.zip | |
Travis: build with namespaces enabled, and
make sure src/demo.c can be compiled under C++ and with ABC in a namespace
Diffstat (limited to 'src/proof/dch/dchClass.c')
0 files changed, 0 insertions, 0 deletions