diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-08-05 04:41:04 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-08-05 04:41:04 +0000 |
commit | 92a39d3b7bbf3f1617ad7e1ec87f4a36070c1968 (patch) | |
tree | 1a905c53a51f2775947c5560d487549036e993b9 /src/printer/cvc/cvc_printer.cpp | |
parent | 1467abb8bd69050c2518f87a1775590cd5a9882e (diff) |
Disable failing datatypes regression, pending solution to bug #370.
Diffstat (limited to 'src/printer/cvc/cvc_printer.cpp')
0 files changed, 0 insertions, 0 deletions