refactor(language): change computed value symbol

3 files changed, 4 insertions, 4 deletions

diff --git a/subprojects/language/src/main/java/tools/refinery/language/Problem.xtext b/subprojects/language/src/main/java/tools/refinery/language/Problem.xtext
index 5adc50eb..8d7d485b 100644
--- a/subprojects/language/src/main/java/tools/refinery/language/Problem.xtext
+++ b/subprojects/language/src/main/java/tools/refinery/language/Problem.xtext
@@ -200,7 +200,7 @@ CastExprBody returns Expr:
 
 Atom:
         relation=[Relation|QualifiedName]
-        computed?="<-"?
+        computed?="$"?
         transitiveClosure?=TRANSITIVE_CLOSURE?
         "(" (arguments+=Expr ("," arguments+=Expr)*)? ")";
 
diff --git a/subprojects/language/src/main/java/tools/refinery/language/parser/antlr/ProblemTokenSource.java b/subprojects/language/src/main/java/tools/refinery/language/parser/antlr/ProblemTokenSource.java
index e483517a..d47863da 100644
--- a/subprojects/language/src/main/java/tools/refinery/language/parser/antlr/ProblemTokenSource.java
+++ b/subprojects/language/src/main/java/tools/refinery/language/parser/antlr/ProblemTokenSource.java
@@ -88,7 +88,7 @@ public class ProblemTokenSource implements TokenSource {
         }
 
         protected boolean isComputed(Token token) {
-                return token.getType() == InternalProblemParser.LessThanSignHyphenMinus;
+                return token.getType() == InternalProblemParser.DollarSign;
         }
 
         protected boolean isVisibleToken(Token token) {
diff --git a/subprojects/language/src/test/java/tools/refinery/language/tests/parser/antlr/ProblemTokenSourceTest.java b/subprojects/language/src/test/java/tools/refinery/language/tests/parser/antlr/ProblemTokenSourceTest.java
index 5ea928d7..02a31534 100644
--- a/subprojects/language/src/test/java/tools/refinery/language/tests/parser/antlr/ProblemTokenSourceTest.java
+++ b/subprojects/language/src/test/java/tools/refinery/language/tests/parser/antlr/ProblemTokenSourceTest.java
@@ -67,8 +67,8 @@ class ProblemTokenSourceTest {
                         "equals+(a, b)",
                         "equals + (a, b)",
                         "equals+(a::x, b)",
-                        "equals<-+(a, b)",
-                        "equals<- + (a, b)"
+                        "equals$+(a, b)",
+                        "equals$ + (a, b)"
         })
         void transitiveClosureInTokenStreamTest(String text) {
                 var tokenList = createTokenList(text);