diff options
author | wuestholz <unknown> | 2014-10-15 23:49:55 +0200 |
---|---|---|
committer | wuestholz <unknown> | 2014-10-15 23:49:55 +0200 |
commit | 4a722d4576f4afdb578552a48da948d1010733e6 (patch) | |
tree | 58afe3e3a87eebed240e610fbbecfe2414359f28 /Source/Core/AbsyCmd.cs | |
parent | 2be6834c03da69c9500b24799c604dc45e868964 (diff) |
Worked on the verification result caching.
Diffstat (limited to 'Source/Core/AbsyCmd.cs')
-rw-r--r-- | Source/Core/AbsyCmd.cs | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/Source/Core/AbsyCmd.cs b/Source/Core/AbsyCmd.cs index d9176ca9..ddb3a607 100644 --- a/Source/Core/AbsyCmd.cs +++ b/Source/Core/AbsyCmd.cs @@ -2573,10 +2573,6 @@ namespace Microsoft.Boogie { result = c;
}
}
- if (result == null)
- {
- result = new LiteralExpr(Token.NoToken, true);
- }
return result;
}
|