From dd69027d5988be649caefb6f7d3d2e0361478fa2 Mon Sep 17 00:00:00 2001
From: tempiaa <tempiaa@eurecom.fr>
Date: Wed, 1 Jul 2020 15:14:49 +0200
Subject: [PATCH] Cleaning imports

---
 .../avatartranslator/modelchecker/CounterexampleTrace.java     | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/src/main/java/avatartranslator/modelchecker/CounterexampleTrace.java b/src/main/java/avatartranslator/modelchecker/CounterexampleTrace.java
index 1450e65a8b..ab127305cd 100644
--- a/src/main/java/avatartranslator/modelchecker/CounterexampleTrace.java
+++ b/src/main/java/avatartranslator/modelchecker/CounterexampleTrace.java
@@ -7,9 +7,6 @@ import java.util.LinkedList;
 import java.util.List;
 import java.util.Map;
 import java.util.Set;
-
-import com.sun.net.httpserver.Authenticator.Result;
-
 import avatartranslator.AvatarBlock;
 import avatartranslator.AvatarSpecification;
 
-- 
GitLab