diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-20 22:25:21 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-20 22:25:21 -0400 |
commit | f37411e40673b07e8fe7d20ed9b6c5be98f3b8ae (patch) | |
tree | a5c623b21066a1f7289e85fc4ef02637afd09688 /INSTALL | |
parent | 33324a13308886291d802d69a23993226d557d1a (diff) |
Implement RecordProperties::mkGroundTerm(). Resolves bug #546.
Diffstat (limited to 'INSTALL')
0 files changed, 0 insertions, 0 deletions