diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2010-02-07 09:14:06 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2010-02-07 09:14:06 -0500 |
| commit | 94ef8c3721548c3125fff96c8426921936287a7e (patch) | |
| tree | 5e12f92345fe97567b8f333003b0ff38ed3c76ff /src/demo.sml | |
| parent | 7b914eb570020fe82a7861c06110c3cdc0d9689e (diff) | |
Remove debug prints
Diffstat (limited to 'src/demo.sml')
| -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"; |