1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Core/StandardVisitor.cs b/Source/Core/StandardVisitor.cs
index 528e442f..9bbeada1 100644
--- a/Source/Core/StandardVisitor.cs
+++ b/Source/Core/StandardVisitor.cs
@@ -48,7 +48,7 @@ namespace Microsoft.Boogie {
   }
 
   /// <summary>
-  /// Walks an IR, mutuating it into a new form
+  /// Walks an IR, mutating it into a new form
   /// </summary>   
   public abstract class StandardVisitor : Visitor {
     public Visitor callingVisitor;