From 25be372034c46a8236af0c02f74fb3a1571b9539 Mon Sep 17 00:00:00 2001 From: Marco Eilers Date: Wed, 18 Oct 2023 17:51:55 +0200 Subject: [PATCH] Removed unnecessary import --- .../scala/viper/silver/ast/utility/GenericTriggerGenerator.scala | 1 - 1 file changed, 1 deletion(-) diff --git a/src/main/scala/viper/silver/ast/utility/GenericTriggerGenerator.scala b/src/main/scala/viper/silver/ast/utility/GenericTriggerGenerator.scala index b890b48df..35f98c242 100644 --- 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])