diff options
| author |  Kristóf Marussy <kristof@marussy.com> | 2023-02-25 00:55:36 +0100 |
|---|---|---|
| committer | Kristóf Marussy <kristof@marussy.com> | 2023-02-25 00:56:29 +0100 |
| commit | 71372b4d57b1c51cd892aa07343c3dbc8de3e727 (patch) | |
| tree | ae3fadaa0a2558dd4c7c0779e399435c7f30f5ba /settings.gradle | |
| parent | feat: Dnf reduction and structural equality (diff) | |
| download | refinery-71372b4d57b1c51cd892aa07343c3dbc8de3e727.tar.gz refinery-71372b4d57b1c51cd892aa07343c3dbc8de3e727.tar.zst refinery-71372b4d57b1c51cd892aa07343c3dbc8de3e727.zip | |
refactor: rename PartialInterpretation adapter
Diffstat (limited to 'settings.gradle')
| -rw-r--r-- | settings.gradle | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/settings.gradle b/settings.gradle index 94a3c2e6..81bcb53b 100644 --- a/settings.gradle +++ b/settings.gradle | |||
| @@ -7,9 +7,9 @@ include 'language-model' | |||
| 7 | include 'language-semantics' | 7 | include 'language-semantics' |
| 8 | include 'language-web' | 8 | include 'language-web' |
| 9 | include 'store' | 9 | include 'store' |
| 10 | include 'store-partial' | ||
| 11 | include 'store-query' | 10 | include 'store-query' |
| 12 | include 'store-query-viatra' | 11 | include 'store-query-viatra' |
| 12 | include 'store-reasoning' | ||
| 13 | 13 | ||
| 14 | for (project in rootProject.children) { | 14 | for (project in rootProject.children) { |
| 15 | def projectName = project.name | 15 | def projectName = project.name |