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/core_print.sml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/core_print.sml')

diff --git a/src/core_print.sml b/src/core_print.sml
index 66432866..b03b25f6 100644
--- a/src/core_print.sml
+++ b/src/core_print.sml
@@ -25,7 +25,7 @@
  * POSSIBILITY OF SUCH DAMAGE.
  *)
 
-(* Pretty-printing core Laconic/Web *)
+(* Pretty-printing core Ur/Web *)
 
 structure CorePrint :> CORE_PRINT = struct
 
-- 
cgit v1.2.3