1 files changed, 0 insertions, 8 deletions

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