From 63d725ff980b8cccaf500b1c4d95d0ed3eb19304 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 9 Nov 1999 14:40:17 +0000
Subject: Test files for error in theory processing.

---
 etc/isa/multiple/Err.ML  | 5 +++++
 etc/isa/multiple/Err.thy | 3 +++
 2 files changed, 8 insertions(+)
 create mode 100644 etc/isa/multiple/Err.ML
 create mode 100644 etc/isa/multiple/Err.thy

(limited to 'etc')

diff --git a/etc/isa/multiple/Err.ML b/etc/isa/multiple/Err.ML
new file mode 100644
index 00000000..177da5ce
--- /dev/null
+++ b/etc/isa/multiple/Err.ML
@@ -0,0 +1,5 @@
+(* Test to see that scripting is *not* turned on
+   if an error occurs during activation
+*)
+
+val x = 1;
diff --git a/etc/isa/multiple/Err.thy b/etc/isa/multiple/Err.thy
new file mode 100644
index 00000000..d36a5af2
--- /dev/null
+++ b/etc/isa/multiple/Err.thy
@@ -0,0 +1,3 @@
+(* Dummy file to cause an error in use_thy *)
+
+Err = blah
\ No newline at end of file
-- 
cgit v1.2.3