order of files changed

git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@8002 3260e6d1-4efc-4170-b0a7-36055960796d
2008-05-20 13:46:05 +00:00 · 2008-05-20 13:46:05 +00:00 · 58396a34e7
parent dad9e75fb4
commit 58396a34e7
1 changed files with 1 additions and 2 deletions
--- a/su4sml/src/wfcpog/wfcpog.cm
+++ b/su4sml/src/wfcpog/wfcpog.cm
@ -52,11 +52,10 @@ Group is
  $smlnj/ml-yacc/ml-yacc-lib.cm
 #endif

-
+"library.sml"
 "../rep_secureuml.sml"	
 "rep_holocl.sml"
 "datatab.sml"
-"library.sml"
 "wfcpog.sml"

 (* wfcs and pogs *)