1 files changed, 0 insertions, 8 deletions

diff --git a/model-data/src/main/java/org/eclipse/viatra/solver/data/model/symbols/RealSymbol.java b/model-data/src/main/java/org/eclipse/viatra/solver/data/model/symbols/RealSymbol.java
deleted file mode 100644
index 081d2196..00000000
--- a/model-data/src/main/java/org/eclipse/viatra/solver/data/model/symbols/RealSymbol.java
+++ /dev/null
@@ -1,8 +0,0 @@
-package org.eclipse.viatra.solver.data.model.symbols;
-
-public class RealSymbol extends Symbol{
-
-        public RealSymbol(String name, int arity) {
-                super(name, arity);
-        }
-}