Mercurial > urweb
diff src/source.sml @ 1868:d6b0ee53dc93
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.sml Fri Sep 13 10:24:10 2013 -0400 +++ b/src/source.sml Thu Sep 26 16:22:06 2013 -0400 @@ -154,7 +154,7 @@ | DVal of string * con option * exp | DValRec of (string * con option * exp) list | DSgn of string * sgn - | DStr of string * sgn option * Time.time option * str + | DStr of string * sgn option * Time.time option * str * bool (* did this module come from the '-root' directive? *) | DFfiStr of string * sgn * Time.time option | DOpen of string * string list | DConstraint of con * con