diff options
author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-10-10 17:16:17 -0400 |
---|---|---|
committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-10-10 17:16:17 -0400 |
commit | 5527b0c00639f24b11d5e1d4c69050d908b82400 (patch) | |
tree | 347f4909159c63daf0c0f5b84ba2a4821db3b069 /test/regress/regress0/wiki.04.cvc | |
parent | d9cc527b3edb3ba39f076ce0b77327a473b89b88 (diff) |
Fix issue with shared but non-preregistered term setup. Thanks Alvise Rabitti for the report.
Diffstat (limited to 'test/regress/regress0/wiki.04.cvc')
0 files changed, 0 insertions, 0 deletions