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

git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7596 3260e6d1-4efc-4170-b0a7-36055960796d

This commit is contained in:
Achim D. Brucker 2008-04-02 22:11:24 +00:00
parent 31b8e9a2ed
commit e64dc5742a
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
su4sml/src/ROOT.ML
View File

@ -143,7 +143,7 @@ use "ROOT.ML";
OS.FileSys.chDir "..";
(* ******************************************************** *)
(* wfcpog-module *)
OS.FileSys.chDir "wfcpo-gen";
OS.FileSys.chDir "wfcpog";
use "ROOT.ML";
OS.FileSys.chDir "..";