diff options
Diffstat (limited to 'subprojects/store-query/src/main/java/tools/refinery/store/query/term/real/RealComparisonTerm.java')
| -rw-r--r-- | subprojects/store-query/src/main/java/tools/refinery/store/query/term/real/RealComparisonTerm.java | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/subprojects/store-query/src/main/java/tools/refinery/store/query/term/real/RealComparisonTerm.java b/subprojects/store-query/src/main/java/tools/refinery/store/query/term/real/RealComparisonTerm.java index 75d97adb..25c88f89 100644 --- a/subprojects/store-query/src/main/java/tools/refinery/store/query/term/real/RealComparisonTerm.java +++ b/subprojects/store-query/src/main/java/tools/refinery/store/query/term/real/RealComparisonTerm.java | |||
| @@ -1,3 +1,8 @@ | |||
| 1 | /* | ||
| 2 | * SPDX-FileCopyrightText: 2021-2023 The Refinery Authors <https://refinery.tools/> | ||
| 3 | * | ||
| 4 | * SPDX-License-Identifier: EPL-2.0 | ||
| 5 | */ | ||
| 1 | package tools.refinery.store.query.term.real; | 6 | package tools.refinery.store.query.term.real; |
| 2 | 7 | ||
| 3 | import tools.refinery.store.query.substitution.Substitution; | 8 | import tools.refinery.store.query.substitution.Substitution; |