remove unneeded imports

effekt-lang · Oct 8, 2024 · df37555 · df37555
1 parent d8e29bb
commit df37555
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/effekt/shared/src/main/scala/effekt/source/ExplicitCapabilities.scala b/effekt/shared/src/main/scala/effekt/source/ExplicitCapabilities.scala
@@ -5,10 +5,6 @@ import effekt.context.{ Annotations, Context, ContextOps }
 import effekt.symbols.*
 import effekt.context.assertions.*
 import effekt.source.Tree.Rewrite
-import effekt.source.ExternBody.EffektExternBody
-import effekt.source.ExternBody.StringExternBody
-import effekt.source.ExternBody.Unsupported
-
 
 /**
  * Transformation on source trees that translates programs into explicit capability-passing style