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

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

This commit is contained in:
Achim D. Brucker 2008-03-30 16:37:42 +00:00
parent 5957267149
commit fed0e90e6c
2 changed files with 1 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
su4sml/src/ROOT.ML
View File

@ -39,8 +39,8 @@
******************************************************************************)
(* $Id$ *)
use "rep_logger.sml";
use "rep_helper.sml";
use "rep_logger.sml";
use "stringHandling.sml";
(* ****************************************************** *)

3
su4sml/src/rep_logger.sml
View File

@ -224,7 +224,4 @@ fun error_msg s = print (s^"\n")
(** output an error message and Fail *)
fun error s = (print (s^"\n"); raise Fail s)
fun remove_dup [] = []
| remove_dup (h::tail) = if (member h tail) then (remove_dup tail) else ((h)::(remove_dup tail))
end