1 files changed, 0 insertions, 22 deletions

diff --git a/store/src/main/java/org/eclipse/viatra/solver/data/query/building/Variable.java b/store/src/main/java/org/eclipse/viatra/solver/data/query/building/Variable.java
deleted file mode 100644
index 29f9fc8b..00000000
--- a/store/src/main/java/org/eclipse/viatra/solver/data/query/building/Variable.java
+++ /dev/null
@@ -1,22 +0,0 @@
-package org.eclipse.viatra.solver.data.query.building;
-
-public class Variable {
-        private final String name;
-        private final String uniqueName;
-
-        public Variable(String name) {
-                super();
-                this.name = name;
-                this.uniqueName = DNFPredicate.generateUniqueName(name, "variable");
-                
-        }
-        public String getName() {
-                return name;
-        }
-        public String getUniqueName() {
-                return uniqueName;
-        }
-        public boolean isNamed() {
-                return name != null;
-        }
-}