--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/run/mini/bug308_double_finally.d	Mon Jan 10 19:47:18 2011 +0100
@@ -0,0 +1,20 @@
+extern(C) int printf(char*, ...);
+
+long foo(ref int p) {
+    try { return 0; }
+    finally {
+        p++;
+        throw new Object;
+    }
+}
+
+void main() {
+    int p = 0;
+    try {
+        foo(p);
+        assert(0);
+    } catch {
+    }
+    printf("Number of types scope(exit) was executed : %d\n", p);
+    assert(p == 1);
+}
\ No newline at end of file