From 65fe1811e9c7832f4b483cd90f07fcf04747671d Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 1 Feb 1999 12:49:52 +0000
Subject: Test case for file recognition bug.

---
 etc/isa/thy/test.ML | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 etc/isa/thy/test.ML

diff --git a/etc/isa/thy/test.ML b/etc/isa/thy/test.ML
new file mode 100644
index 00000000..6a434570
--- /dev/null
+++ b/etc/isa/thy/test.ML
@@ -0,0 +1,5 @@
+(* Test case for wrong file type
+   bug report by jv@ddre.dk
+
+   This file should be ML, not theory!
+*)
\ No newline at end of file
-- 
cgit v1.2.3