diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-17 20:21:12 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-17 20:26:01 -0400 |
commit | 0e8286310e46aafd33f31c4dba18345b8cf194aa (patch) | |
tree | fa6a2078c938644f7d399075512754b9a4167d6a /doc/libcvc4compat.3.in | |
parent | 44e3d0555a8038f510b4dccdb0ac746e927bf394 (diff) |
Fix for pre-C++11 is_sorted().
Diffstat (limited to 'doc/libcvc4compat.3.in')
0 files changed, 0 insertions, 0 deletions