diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2012-12-11 17:55:29 -0500 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2012-12-11 17:55:29 -0500 |
| commit | 5eaeeb2156a9d035250ed8ec5af6391995bb10f5 (patch) | |
| tree | 6a973890f2191c68c34cc9d3919695e75c2c89cb /test/regress | |
| parent | 8319e8d21f43b268168e4e66b1341630c7fb44e2 (diff) | |
Ignore unknown term annotations (giving a warning). Resolves bug 479.
Diffstat (limited to 'test/regress')
0 files changed, 0 insertions, 0 deletions