From 447b60afccc89ef18d8f92a260dd1fcdf735898e Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 31 Aug 2008 08:32:18 -0400
Subject: Laconic -> Ur

---
 src/print.sml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/print.sml')

diff --git a/src/print.sml b/src/print.sml
index db6af55c..3917a998 100644
--- a/src/print.sml
+++ b/src/print.sml
@@ -25,7 +25,7 @@
  * POSSIBILITY OF SUCH DAMAGE.
  *)
 
-(* Pretty-printing Laconic/Web *)
+(* Generic printing support code *)
 
 structure Print :> PRINT = struct
 
-- 
cgit v1.2.3