Mercurial > urweb

diff src/cjr_print.sml @ 244:71bafe66dbe1

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Laconic -> Ur
author Adam Chlipala <adamc@hcoop.net>
date Sun, 31 Aug 2008 08:32:18 -0400
parents 5dbba661deab
children fac9fae654e2
line wrap: on
line diff
--- a/src/cjr_print.sml	Thu Aug 28 14:48:33 2008 -0400
+++ b/src/cjr_print.sml	Sun Aug 31 08:32:18 2008 -0400
@@ -1145,7 +1145,7 @@
              string "#include <stdlib.h>",
              newline,
              newline,
-             string "#include \"lacweb.h\"",
+             string "#include \"urweb.h\"",
              newline,
              newline,
              p_list_sep newline (fn x => x) pds,