git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7549 3260e6d1-4efc-4170-b0a7-36055960796d
This commit is contained in:
parent
16a9d57532
commit
bc2400ae87
|
@ -70,7 +70,7 @@ fun eval verbose txt =
|
|||
if verbose then print (output ()) else ()
|
||||
end
|
||||
in
|
||||
eval_fh (fn s => print (s^"\n"), fn s => library.error (s^"\n")) verbose txt
|
||||
eval_fh (fn s => print (s^"\n"), fn s => Rep_Logger.error (s^"\n")) verbose txt
|
||||
end
|
||||
|
||||
fun exnHistory _ = []
|
||||
|
|
Loading…
Reference in New Issue