diff --git a/languages/jetbrains.mps.logic/solutions/jetbrains.mps.logic.atom/models/jetbrains/mps/logic/atom.mps b/languages/jetbrains.mps.logic/solutions/jetbrains.mps.logic.atom/models/jetbrains/mps/logic/atom.mps index a22cb845..2316c59b 100644 --- a/languages/jetbrains.mps.logic/solutions/jetbrains.mps.logic.atom/models/jetbrains/mps/logic/atom.mps +++ b/languages/jetbrains.mps.logic/solutions/jetbrains.mps.logic.atom/models/jetbrains/mps/logic/atom.mps @@ -8903,6 +8903,28 @@ + + + + + + + + + + + + + + + + + + + + + +