diff --git a/Test/git-issues/git-issue-2139.dfy b/Test/git-issues/git-issue-2139.dfy
new file mode 100644
index 00000000000..d57936b2b67
--- /dev/null
+++ b/Test/git-issues/git-issue-2139.dfy
@@ -0,0 +1,11 @@
+// RUN: %dafny_0 /compile:0 "%s" > "%t"
+// RUN: %diff "%s.expect" "%t"
+
+method a() 
+{
+    var tok := (0,0);
+    match tok {
+      case "B" => 
+      case _ => 
+    }
+}
\ No newline at end of file
diff --git a/Test/git-issues/git-issue-2139.dfy.expect b/Test/git-issues/git-issue-2139.dfy.expect
new file mode 100644
index 00000000000..e69de29bb2d