From db03801ae5eaa67f8c150413f483905184f5bdaa Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Thu, 22 Sep 2022 22:40:33 +0200 Subject: feat: data structure for assertion merging --- settings.gradle | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'settings.gradle') diff --git a/settings.gradle b/settings.gradle index cf8c6e2b..36721f4b 100644 --- a/settings.gradle +++ b/settings.gradle @@ -4,7 +4,7 @@ include 'frontend' include 'language' include 'language-ide' include 'language-model' -include 'language-to-store' +include 'language-semantics' include 'language-web' include 'store' -- cgit v1.2.3-70-g09d2