Removed unnecessary import

viperproject · Oct 18, 2023 · 25be372 · 25be372
1 parent a48b4a0
commit 25be372
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/main/scala/viper/silver/ast/utility/GenericTriggerGenerator.scala b/src/main/scala/viper/silver/ast/utility/GenericTriggerGenerator.scala
@@ -8,7 +8,6 @@ package viper.silver.ast.utility
 
 import java.util.concurrent.atomic.AtomicInteger
 import reflect.ClassTag
-import viper.silver.ast
 
 object GenericTriggerGenerator {
   case class TriggerSet[E](exps: Seq[E])