diff --git a/.claude/settings.local.json b/.claude/settings.local.json index 375f654..9706218 100644 --- a/.claude/settings.local.json +++ b/.claude/settings.local.json @@ -10,7 +10,10 @@ "WebFetch(domain:mps-support.jetbrains.com)", "WebFetch(domain:www.jetbrains.com)", "Bash(wc:*)", - "Bash(python3:*)" + "Bash(python3:*)", + "Bash(python:*)", + "WebFetch(domain:github.com)", + "WebFetch(domain:java.hotexamples.com)" ] } } diff --git a/languages/SemAnno/models/SemAnno.textGen.mps b/languages/SemAnno/models/SemAnno.textGen.mps index fb7d679..b5e8cb6 100644 --- a/languages/SemAnno/models/SemAnno.textGen.mps +++ b/languages/SemAnno/models/SemAnno.textGen.mps @@ -56,6 +56,9 @@ + + + @@ -1553,11 +1556,11 @@ - - - - - + + + + +