src/HOL/MicroJava/ROOT.ML

--- a/src/HOL/MicroJava/ROOT.ML	Tue Jul 04 01:12:42 2000 +0200
+++ b/src/HOL/MicroJava/ROOT.ML	Tue Jul 04 10:54:32 2000 +0200
@@ -4,5 +4,5 @@
 Unify.search_bound := 40;
 Unify.trace_bound  := 40;
 
-with_paths ["J", "JVM", "BV"] use_thy "JTypeSafe";
+with_paths ["J"             ] use_thy "JTypeSafe";
 with_paths ["J", "JVM", "BV"] use_thy "BVSpecTypeSafe";