[fix] objectFiles: is_stdlib_package wasn't up to date

MLstate · Jun 28, 2011 · 7135fa2 · 7135fa2
1 parent f0fe783
commit 7135fa2
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/compilerlib/objectFiles.ml b/compilerlib/objectFiles.ml
@@ -1741,7 +1741,8 @@ let load ?(extrajs=[]) ~no_stdlib extract_package_decl extract_more_deps filenam
  * that the compiler can call
  * ie the global map will only contain identifiers from these packages *)
 let stdlib_package_names name =
-  (String.is_prefix "stdlib." name)
+  (String.is_prefix "stdlib.core." name)
+  || ("stdlib.core" = name)
   || (not (is_separated ()))
 
 let stdlib_packages (package_name,_pos) = stdlib_package_names package_name