HOL-OCL
/
su4sml
1
0
Fork 0
Code Issues Pull Requests Releases Activity

cd -> OS.FileSys.chDir 

git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3073 3260e6d1-4efc-4170-b0a7-36055960796d
This commit is contained in:
Jürgen Doser 2005-09-15 13:51:27 +00:00
parent 85e178d1f8
commit f75dab512f
1 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
src/ROOT.ML
View File

@ -25,17 +25,17 @@
use "library.sml";
(*
library should be opend locally for MLton compatibility...
open library;
*)
(* library should be opend locally for MLton compatibility... *)
(* open library; *)
(* ****************************************************** *)
(* Load the (foreign) fxp-module providing
an elemantary library in processing xml documents. *)
cd "../lib/fxp/src";
OS.FileSys.chDir "../lib/fxp/src";
use "ROOT.ML";
cd "../../../src";
OS.FileSys.chDir "../../../src";