Remove unused import

fpoli · fpoli · commit 80e93e3dd1d1 · 2021-02-01T10:59:13.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._
