diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-06-27 14:55:55 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-06-27 16:46:22 -0400 |
commit | a399bd138c387820e0d441372a7dbe7bee1dd0f4 (patch) | |
tree | 4d3e778a31fa1c1d679f1e49f33fc8a508e1105b /src/expr/node.h | |
parent | ba893aaccd2f60168db6a50eccd947d7cf7f3069 (diff) |
Better user documentation for mkVar() and mkBoundVar().
Thanks to Alex Horn for raising the issue on the CVC-BUGS mailing list.
Diffstat (limited to 'src/expr/node.h')
0 files changed, 0 insertions, 0 deletions