diff options
| author | Tim King <taking@cs.nyu.edu> | 2010-02-04 21:03:07 +0000 |
|---|---|---|
| committer | Tim King <taking@cs.nyu.edu> | 2010-02-04 21:03:07 +0000 |
| commit | a34b66437f97f66d9dcd1caa0919f66cf316e238 (patch) | |
| tree | 3c3b8fc01cbc6ac4e97a45de16218d120ca3cca8 /test/unit | |
| parent | c6f86de8077f667ab2b2e9aac53d60d93ea2da93 (diff) | |
Changed mapping from atoms to literals in the prop engine to be atoms to vars.
Diffstat (limited to 'test/unit')
0 files changed, 0 insertions, 0 deletions