diff options
| author | Tim King <taking@cs.nyu.edu> | 2010-06-15 16:36:49 +0000 |
|---|---|---|
| committer | Tim King <taking@cs.nyu.edu> | 2010-06-15 16:36:49 +0000 |
| commit | e9339ddd445c657fb6ebdd074cdb6091a80825bf (patch) | |
| tree | 94c923c8693d39ffe907fd2ad9f531c808413a77 /src/parser/smt2 | |
| parent | 672c02a79ba691c33955cd7e7c62f932671e845c (diff) | |
I made a documentation change to get() to make explicit the contract requirements for 'slurping the queue'. Closes bug 154
Diffstat (limited to 'src/parser/smt2')
0 files changed, 0 insertions, 0 deletions