diff options
| author | RncLsn <rnc.lsn@gmail.com> | 2015-06-04 18:27:28 +0100 |
|---|---|---|
| committer | RncLsn <rnc.lsn@gmail.com> | 2015-06-04 18:27:28 +0100 |
| commit | b0148d89a76b8fcbeb2e021442842e4e89690ef3 (patch) | |
| tree | 5fa660dabd4b009c114c522fffd9aaed39a9adde /scripts/list_of_words.txt | |
| parent | 51cfc39903ae53cbcaba9a9f5c69cac08ae63fa7 (diff) | |
| download | ACQuA-b0148d89a76b8fcbeb2e021442842e4e89690ef3.tar.gz ACQuA-b0148d89a76b8fcbeb2e021442842e4e89690ef3.zip | |
Fixed terms' depth count in SkolemTermsManager (it was always zero).
Diffstat (limited to 'scripts/list_of_words.txt')
0 files changed, 0 insertions, 0 deletions