diff options
author | qadeer <qadeer@microsoft.com> | 2011-08-29 16:42:13 -0700 |
---|---|---|
committer | qadeer <qadeer@microsoft.com> | 2011-08-29 16:42:13 -0700 |
commit | a600a8566aa444ed76af61e597f829dce63dabe7 (patch) | |
tree | 2bcae529e8a1c4a573a474626a0c115522b4f246 /Source/Core/StandardVisitor.cs | |
parent | 1087368b68ac74280ff83ed77d4ed1409c8304ff (diff) |
more changes to bitvector analysis
Diffstat (limited to 'Source/Core/StandardVisitor.cs')
-rw-r--r-- | Source/Core/StandardVisitor.cs | 2 |
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;
|