diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-05-10 17:08:23 -0400 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-05-10 19:35:52 -0400 |
| commit | f6d24c56905449e68ee23a9cea54985eacd24aa3 (patch) | |
| tree | cfaff8f9d3eb9cb97708e2963ae8828a0922a2f4 /src/theory/rep_set.h | |
| parent | d4c5c5d06f71958fcca6e561b7eade8fd72f7304 (diff) | |
disable Logic-checking with finite model finding for now, since FMF uses Rationals, making the check think arithmetic should be enabled (but it's not)
Diffstat (limited to 'src/theory/rep_set.h')
0 files changed, 0 insertions, 0 deletions