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 /src/proof | |
| parent | 44e3d0555a8038f510b4dccdb0ac746e927bf394 (diff) | |
Fix for pre-C++11 is_sorted().
Diffstat (limited to 'src/proof')
0 files changed, 0 insertions, 0 deletions