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