Fix stack overflow introduced in my previous checkin. Make /typeEncoding:m use separate Z3 type per Boogie type

1 files changed, 1 insertions, 4 deletions

diff --git a/Source/VCExpr/SimplifyLikeLineariser.cs b/Source/VCExpr/SimplifyLikeLineariser.cs
index b8a53b9f..84cf0454 100644
--- a/Source/VCExpr/SimplifyLikeLineariser.cs
+++ b/Source/VCExpr/SimplifyLikeLineariser.cs
@@ -264,10 +264,7 @@ Contract.Ensures(Contract.Result<string>() != null);
         return TypeToStringHelper(t);

       else {

         // at this point, only the types U, T, and bitvector types should be left

-        if (CommandLineOptions.Clo.TypeEncodingMethod == CommandLineOptions.TypeEncoding.Monomorphic)

-          return "U";

-        else

-          return TypeToStringHelper(t);

+        return TypeToStringHelper(t);

       }

     }