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

2007-04-03 12:17:45 +00:00 · 2007-04-03 12:17:45 +00:00 · c61da0fcbd
parent 034b0e774b
commit c61da0fcbd
1 changed files with 1 additions and 1 deletions
--- a/src/ocl_library.sml
+++ b/src/ocl_library.sml
@ -40,7 +40,7 @@ fun is_oclLib c = let
    fun listin _ []  = false
      | listin e (x::xs) = if e=x then true else listin e xs
 in
-    listin oclLib c
+    listin c oclLib 
 end

 val oclLib =