refactor(language): change computed value symbol

2 files changed, 2 insertions, 2 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) {