diff options
| author | Morgan Deters <mdeters@gmail.com> | 2011-05-13 20:42:57 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2011-05-13 20:42:57 +0000 |
| commit | 69c9ec0e1e42f3f2f2f79d3e98398c5cd1559c66 (patch) | |
| tree | 4761dc1485594a7d26630b3eea7f305dde0e2766 /src/parser/parser.h | |
| parent | 9462ccde8b06aae3b13e271465ab74b2e312a095 (diff) | |
* fix for Mac OS (includes some ThreadLocal stuff copied in from portfolio
branch)
* add Theory::isSharedTermFact() -- it currently always returns false,
pending theory combination work
* Add "unknown" cardinalities to Cardinality class
* Fix run_regression script to handle CRLF line terminators on Macs
(where sed is non-GNU)
* Convert CRLF line terminators in datatypes regressions to LF
Diffstat (limited to 'src/parser/parser.h')
0 files changed, 0 insertions, 0 deletions