diff options
| author | RncLsn <rnc.lsn@gmail.com> | 2015-06-04 14:37:25 +0100 |
|---|---|---|
| committer | RncLsn <rnc.lsn@gmail.com> | 2015-06-04 14:37:25 +0100 |
| commit | 51cfc39903ae53cbcaba9a9f5c69cac08ae63fa7 (patch) | |
| tree | e877ee54e4cef1d096ef21d6c83fda4e7a912d03 /src/uk/ac/ox/cs/pagoda/query | |
| parent | b3ce74df783ebe665182dbd916a7288cff8bc127 (diff) | |
| download | ACQuA-51cfc39903ae53cbcaba9a9f5c69cac08ae63fa7.tar.gz ACQuA-51cfc39903ae53cbcaba9a9f5c69cac08ae63fa7.zip | |
Restored fixed SkolemTermsManager (went lost in some revert).
Diffstat (limited to 'src/uk/ac/ox/cs/pagoda/query')
| -rw-r--r-- | src/uk/ac/ox/cs/pagoda/query/QueryRecord.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/uk/ac/ox/cs/pagoda/query/QueryRecord.java b/src/uk/ac/ox/cs/pagoda/query/QueryRecord.java index dee2966..7f02741 100644 --- a/src/uk/ac/ox/cs/pagoda/query/QueryRecord.java +++ b/src/uk/ac/ox/cs/pagoda/query/QueryRecord.java | |||
| @@ -707,7 +707,7 @@ public class QueryRecord extends Disposable { | |||
| 707 | UPPER_BOUND, | 707 | UPPER_BOUND, |
| 708 | SIMPLE_UPPER_BOUND, | 708 | SIMPLE_UPPER_BOUND, |
| 709 | LAZY_UPPER_BOUND, | 709 | LAZY_UPPER_BOUND, |
| 710 | L_SKOLEM_UPPER_BOUND, | 710 | SKOLEM_UPPER_BOUND, |
| 711 | EL_LOWER_BOUND, | 711 | EL_LOWER_BOUND, |
| 712 | FRAGMENT, | 712 | FRAGMENT, |
| 713 | FRAGMENT_REFINEMENT, | 713 | FRAGMENT_REFINEMENT, |