diff options
| author | graehl <graehl@ec762483-ff6d-05da-a07a-a48fb63a330f> | 2010-07-23 22:44:20 +0000 |
|---|---|---|
| committer | graehl <graehl@ec762483-ff6d-05da-a07a-a48fb63a330f> | 2010-07-23 22:44:20 +0000 |
| commit | a4187c028432c9f9ec3693747abc1c52ef310deb (patch) | |
| tree | 605700d0c6a9cb8ed002c8e7d3b2dc7f282217cc /tests/system_tests | |
| parent | aeb5ce46a166a4c405f8928bfe39e898f42489d7 (diff) | |
comment about unary (1 var) goal rule having no target terminals - seems to be assumed
git-svn-id: https://ws10smt.googlecode.com/svn/trunk@392 ec762483-ff6d-05da-a07a-a48fb63a330f
Diffstat (limited to 'tests/system_tests')
0 files changed, 0 insertions, 0 deletions