From 5a087f2a1fa5024a11c1b614d78b303edcbf57c6 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Thu, 27 Aug 2015 16:28:45 -0400
Subject: Proper error message for excessively fancy FFI signatures

---
 tests/empty.ur | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 create mode 100644 tests/empty.ur

(limited to 'tests/empty.ur')

diff --git a/tests/empty.ur b/tests/empty.ur
new file mode 100644
index 00000000..e69de29b
-- 
cgit v1.2.3