Update workspace.dart

remove an unused import