projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 49445d3) | patch
disabling the problematic pragma in node_manager.h on gcc < 4.6 until we figure out...
authorDejan Jovanović <dejan.jovanovic@gmail.com>
Wed, 18 Apr 2012 01:07:43 +0000 (01:07 +0000)
committerDejan Jovanović <dejan.jovanovic@gmail.com>
Wed, 18 Apr 2012 01:07:43 +0000 (01:07 +0000)
commit077439fbfa7273ca7d01353873be26bb28318a75
tree9aeacc8fb2070d86ca768731284779e16218018etree
parent49445d378eff9810787b88ef910906f8c0c372d1commit | diff
disabling the problematic pragma in node_manager.h on gcc < 4.6 until we figure out what to do with it
src/expr/node_manager.h diff | blob | history