1 files changed, 0 insertions, 5 deletions
diff --git a/Source/Dafny/Printer.cs b/Source/Dafny/Printer.cs
index ea3f841d..8a2513da 100644
--- a/Source/Dafny/Printer.cs
+++ b/Source/Dafny/Printer.cs
@@ -413,11 +413,6 @@ namespace Microsoft.Dafny {
         PrintExpression(((AssumeStmt)stmt).Expr);
         wr.Write(";");
         
-      } else if (stmt is UseStmt) {
-        wr.Write("use ");
-        PrintExpression(((UseStmt)stmt).Expr);
-        wr.Write(";");
-        
       } else if (stmt is PrintStmt) {
         PrintStmt s = (PrintStmt)stmt;
         wr.Write("print");