Mercurial > urweb

diff src/source_print.sml @ 1868:d6b0ee53dc93

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Get -root working properly again
author Adam Chlipala <adam@chlipala.net>
date Thu, 26 Sep 2013 16:22:06 -0400
parents 1aa9629e3a4c
children 799be3911ce3
line wrap: on
line diff
--- a/src/source_print.sml	Fri Sep 13 10:24:10 2013 -0400
+++ b/src/source_print.sml	Thu Sep 26 16:22:06 2013 -0400
@@ -571,24 +571,24 @@
                               string "=",
                               space,
                               p_sgn sgn]
-      | DStr (x, NONE, _, str) => box [string "structure",
-                                       space,
-                                       string x,
-                                       space,
-                                       string "=",
-                                       space,
-                                       p_str str]
-      | DStr (x, SOME sgn, _, str) => box [string "structure",
-                                           space,
-                                           string x,
-                                           space,
-                                           string ":",
-                                           space,
-                                           p_sgn sgn,
-                                           space,
-                                           string "=",
-                                           space,
-                                           p_str str]
+      | DStr (x, NONE, _, str, _) => box [string "structure",
+                                          space,
+                                          string x,
+                                          space,
+                                          string "=",
+                                          space,
+                                          p_str str]
+      | DStr (x, SOME sgn, _, str, _) => box [string "structure",
+                                              space,
+                                              string x,
+                                              space,
+                                              string ":",
+                                              space,
+                                              p_sgn sgn,
+                                              space,
+                                              string "=",
+                                              space,
+                                              p_str str]
       | DFfiStr (x, sgn, _) => box [string "extern",
                                     space,
                                     string "structure",