From 2fd8d3be526f4b8b600aaefb7e6f7fe29ee7edbd Mon Sep 17 00:00:00 2001
From: dohan <dohan001@hhu.de>
Date: Mon, 7 Aug 2017 10:37:05 +0200
Subject: [PATCH] remove unused import

---
 src/main/java/de/tlc4b/btypes/IntegerType.java | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/main/java/de/tlc4b/btypes/IntegerType.java b/src/main/java/de/tlc4b/btypes/IntegerType.java
index b6ce01f..9516c9f 100644
--- a/src/main/java/de/tlc4b/btypes/IntegerType.java
+++ b/src/main/java/de/tlc4b/btypes/IntegerType.java
@@ -2,7 +2,6 @@ package de.tlc4b.btypes;
 
 import de.be4.classicalb.core.parser.node.AIntegerSetExpression;
 import de.be4.classicalb.core.parser.node.PExpression;
-import de.tlc4b.TLC4BGlobals;
 import de.tlc4b.analysis.Typechecker;
 import de.tlc4b.exceptions.UnificationException;
 
-- 
GitLab