diff options
Diffstat (limited to 'Source/VCExpr')
| -rw-r--r-- | Source/VCExpr/TypeErasurePremisses.ssc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/VCExpr/TypeErasurePremisses.ssc b/Source/VCExpr/TypeErasurePremisses.ssc index 10fb1247..40c062e0 100644 --- a/Source/VCExpr/TypeErasurePremisses.ssc +++ b/Source/VCExpr/TypeErasurePremisses.ssc @@ -664,7 +664,7 @@ namespace Microsoft.Boogie.TypeErasure AxBuilderPremisses.Type2Term(mapResult, bindings.TypeVariableBindings));
VCExpr body;
if (CommandLineOptions.Clo.TypeEncodingMethod == CommandLineOptions.TypeEncoding.None ||
- !AxBuilder.U.Equals(mapResult))
+ !AxBuilder.U.Equals(((!)select.OutParams[0]).TypedIdent.Type))
{
body = Gen.Let(letBindings_Explicit, eq);
} else {
|