diff options
author | 2011-06-30 19:25:35 -0700 | |
---|---|---|
committer | 2011-06-30 19:25:35 -0700 | |
commit | 086898e7a2df0fbac8807058abfa82ae145e434a (patch) | |
tree | 71e2ec67e80d2f1303ec124059ee58c2a8c72981 /Test/test21 | |
parent | 50c25be112b464050b4649691ecd4f5b4c6366c5 (diff) |
Update the RECENT_Z3 #define to include SORT_AND_OR
Diffstat (limited to 'Test/test21')
0 files changed, 0 insertions, 0 deletions