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

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

This commit is contained in:
Achim D. Brucker 2009-01-04 21:21:02 +00:00
parent 757364e9a4
commit db33d7e43c
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
su4sml/src/rep_logger.sml
View File

@ -126,8 +126,8 @@ struct
fun suffix sffx s = s ^ sffx
fun mk_error_string s = ("Error: "^s) |> prefix_lines "*** " |> suffix "\n"
fun mk_warn_string s = ("Warning: "^s) |> prefix_lines "### " |> suffix "\n"
fun mk_error_string s = ("\nError:\n"^s) |> prefix_lines "*** " |> suffix "\n"
fun mk_warn_string s = ("\nWarning:\n"^s) |> prefix_lines "### " |> suffix "\n"
fun mk_info_string s = s |> prefix_lines "+++ " |> suffix "\n"
fun mk_debug_string s = s |> prefix_lines "::: " |> suffix "\n"