From c3b615f875ed2cf8418453c79c4621d2dc61b0a0 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Wed, 26 Nov 2014 15:50:36 +0100
Subject: Wrong handling of block-local function declarations (in Elab.ml).

---
 test/regression/Results/decl1 | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 test/regression/Results/decl1

(limited to 'test/regression/Results/decl1')

diff --git a/test/regression/Results/decl1 b/test/regression/Results/decl1
new file mode 100644
index 00000000..fa8248b0
--- /dev/null
+++ b/test/regression/Results/decl1
@@ -0,0 +1 @@
+Result is 2
-- 
cgit