1 files changed, 4 insertions, 0 deletions
diff --git a/Dafny/Compiler.cs b/Dafny/Compiler.cs
index decc5223..bd6f9240 100644
--- a/Dafny/Compiler.cs
+++ b/Dafny/Compiler.cs
@@ -1119,6 +1119,10 @@ namespace Microsoft.Dafny {
             wr.Write("!");
             TrParenExpr(e.E);
             break;
+          case UnaryExpr.Opcode.SetChoose:
+            TrParenExpr(e.E);
+            wr.Write(".Choose()");
+            break;
           case UnaryExpr.Opcode.SeqLength:
             if (cce.NonNull(e.E.Type).IsArrayType) {
               wr.Write("new BigInteger(");