Remove unused import

fpoli · fpoli · commit db6f852f6512 · 2021-02-01T10:47:33.000+01:00
diff --git a/src/main/scala/viper/silver/ast/Ast.scala b/src/main/scala/viper/silver/ast/Ast.scala
@@ -6,7 +6,6 @@
 
 package viper.silver.ast
 
-import scala.collection.mutable
 import scala.reflect.ClassTag
 import pretty.FastPrettyPrinter
 import utility._
