From 50244404d9f435ab03397430d687102e19f69639 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 22 Sep 2010 09:32:48 +0000
Subject: Test case for http://proofgeneral.inf.ed.ac.uk/trac/ticket/140

---
 etc/trac/Trac140.v | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100644 etc/trac/Trac140.v

diff --git a/etc/trac/Trac140.v b/etc/trac/Trac140.v
new file mode 100644
index 00000000..b83727d7
--- /dev/null
+++ b/etc/trac/Trac140.v
@@ -0,0 +1,15 @@
+Module Type T.
+
+Parameter p1 : nat.
+Parameter p2 : nat.
+Parameter p3 : nat.
+Parameter p4 : nat.
+Parameter p5 : nat.
+Parameter p6 : nat.
+Parameter p7 : nat.
+Parameter p8 : nat.
+Parameter p9 : nat.
+
+End T. 
+
+Time Print Module Type T. 
-- 
cgit v1.2.3