fix(mps-sync-plugin): some types in stubs could not be found

slisson · slisson · commit 096e46abb408 · 2025-11-04T16:43:19.000+01:00
diff --git a/mps-sync-plugin3/build.gradle.kts b/mps-sync-plugin3/build.gradle.kts
@@ -124,6 +124,8 @@ tasks {
                 moduleDependency(KnownModuleIds.JDK)
                 moduleDependency(KnownModuleIds.MPS_OpenAPI)
                 moduleDependency(KnownModuleIds.MPS_IDEA)
+                moduleDependency(KnownModuleIds.MPS_Core)
+                moduleDependency(KnownModuleIds.MPS_Platform)
             }
         }
     }

Original file line number	Diff line number	Diff line change
`@@ -124,6 +124,8 @@ tasks {`
`124`	`124`	`moduleDependency(KnownModuleIds.JDK)`
`125`	`125`	`moduleDependency(KnownModuleIds.MPS_OpenAPI)`
`126`	`126`	`moduleDependency(KnownModuleIds.MPS_IDEA)`
	`127`	`+ moduleDependency(KnownModuleIds.MPS_Core)`
	`128`	`+ moduleDependency(KnownModuleIds.MPS_Platform)`
`127`	`129`	`}`
`128`	`130`	`}`
`129`	`131`	`}`