1 files changed, 1 insertions, 1 deletions

diff --git a/model-data/src/main/java/org/eclipse/viatra/solver/data/query/view/FunctionalRelationView.java b/model-data/src/main/java/org/eclipse/viatra/solver/data/query/view/FunctionalRelationView.java
index 03c25641..ee52972c 100644
--- a/model-data/src/main/java/org/eclipse/viatra/solver/data/query/view/FunctionalRelationView.java
+++ b/model-data/src/main/java/org/eclipse/viatra/solver/data/query/view/FunctionalRelationView.java
@@ -45,6 +45,6 @@ public class FunctionalRelationView<D> extends RelationView<D> {
         
         @Override
         public int getArity() {
-                return this.representation.getSymbol().getArity()+1;
+                return this.representation.getArity()+1;
         }
 }