From 7fb99f0225911a8962aaf3493b89f41e791df359 Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Mon, 19 Sep 2022 21:33:55 +0200 Subject: feat(language): problem desugaring --- subprojects/language-model/src/main/resources/model/problem.genmodel | 1 + 1 file changed, 1 insertion(+) (limited to 'subprojects/language-model/src/main/resources/model/problem.genmodel') diff --git a/subprojects/language-model/src/main/resources/model/problem.genmodel b/subprojects/language-model/src/main/resources/model/problem.genmodel index 5442d29d..da70f922 100644 --- a/subprojects/language-model/src/main/resources/model/problem.genmodel +++ b/subprojects/language-model/src/main/resources/model/problem.genmodel @@ -140,6 +140,7 @@ + -- cgit v1.2.3-54-g00ecf