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/printer/options | |
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/printer/options')
0 files changed, 0 insertions, 0 deletions