diff options
-rw-r--r-- | src/demo.sml | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/demo.sml b/src/demo.sml index 71f72fbf..bb79a749 100644 --- a/src/demo.sml +++ b/src/demo.sml @@ -206,9 +206,7 @@ fun make' {prefix, dirname, guided} = TextIO.output (out, src'); TextIO.output (out, "</tt></a>")) else - print (src ^ " " - ^ OS.Path.mkAbsolute {path = dirname, - relativeTo = OS.FileSys.getDir ()} ^ "\n") + () end in ifEx "urs"; |