Included "all cases of a datatype" property for method in-parameters (see http://boogie.codeplex.com/discussions/397616).

1 files changed, 0 insertions, 2 deletions

diff --git a/Source/Dafny/Translator.cs b/Source/Dafny/Translator.cs
index 0130ebab..a928f8a4 100644
--- a/Source/Dafny/Translator.cs
+++ b/Source/Dafny/Translator.cs
@@ -5883,12 +5883,10 @@ namespace Microsoft.Dafny {
           var p = FunctionCall(tok, "$IsGoodSet", Bpl.Type.Bool, x, ex);

           r = r == null ? p : BplAnd(r, p);

         }

-#if LATER_MAYBE

       } else if (type.IsDatatype) {

         UserDefinedType udt = (UserDefinedType)type;

         var oneOfTheCases = FunctionCall(tok, "$IsA#" + udt.ResolvedClass.FullCompileName, Bpl.Type.Bool, x);

         r = BplAnd(r, oneOfTheCases);

-#endif

       }

       return r;

     }