diff options
author | Kristóf Marussy <kristof@marussy.com> | 2022-09-22 22:40:33 +0200 |
---|---|---|
committer | Kristóf Marussy <kristof@marussy.com> | 2022-10-03 20:06:52 +0200 |
commit | db03801ae5eaa67f8c150413f483905184f5bdaa (patch) | |
tree | de96e12fc7d7f4006949ecaf0af535e3e5f1f59d /settings.gradle | |
parent | chore(deps): bump dependencies (diff) | |
download | refinery-db03801ae5eaa67f8c150413f483905184f5bdaa.tar.gz refinery-db03801ae5eaa67f8c150413f483905184f5bdaa.tar.zst refinery-db03801ae5eaa67f8c150413f483905184f5bdaa.zip |
feat: data structure for assertion merging
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 cf8c6e2b..36721f4b 100644 --- a/settings.gradle +++ b/settings.gradle | |||
@@ -4,7 +4,7 @@ include 'frontend' | |||
4 | include 'language' | 4 | include 'language' |
5 | include 'language-ide' | 5 | include 'language-ide' |
6 | include 'language-model' | 6 | include 'language-model' |
7 | include 'language-to-store' | 7 | include 'language-semantics' |
8 | include 'language-web' | 8 | include 'language-web' |
9 | include 'store' | 9 | include 'store' |
10 | 10 | ||