From 94ef8c3721548c3125fff96c8426921936287a7e Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 7 Feb 2010 09:14:06 -0500
Subject: Remove debug prints

---
 src/demo.sml | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

(limited to 'src/demo.sml')

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";
-- 
cgit v1.2.3