Mercurial > urweb
diff src/elab_print.sml @ 2280:985c8016b592
Merge.
| author | Ziv Scully <ziv@mit.edu> |
|---|---|
| date | Thu, 12 Nov 2015 08:46:51 -0500 |
| parents | 22117edf8fd3 |
| children |
line wrap: on
line diff
--- a/src/elab_print.sml Wed Nov 11 20:01:48 2015 -0500 +++ b/src/elab_print.sml Thu Nov 12 08:46:51 2015 -0500 @@ -611,13 +611,13 @@ string ":", space, p_con env c] - | SgiStr (x, n, sgn) => box [string "structure", - space, - p_named x n, - space, - string ":", - space, - p_sgn env sgn] + | SgiStr (_, x, n, sgn) => box [string "structure", + space, + p_named x n, + space, + string ":", + space, + p_sgn env sgn] | SgiSgn (x, n, sgn) => box [string "signature", space, p_named x n,