diff options
author | Adam Chlipala <adamc@hcoop.net> | 2008-06-22 18:17:21 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2008-06-22 18:17:21 -0400 |
commit | 5eee5f4a3b11c467c853f8397c7f679e5d5acc7a (patch) | |
tree | e7e2de799c3ac84bba0d9d4e6df73e9fe1ca5fcb /src/source_print.sml | |
parent | a2f45884de59da6607cdb38080b956193e2e883f (diff) |
include
Diffstat (limited to 'src/source_print.sml')
-rw-r--r-- | src/source_print.sml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/source_print.sml b/src/source_print.sml index 1ea2b837..208aa23a 100644 --- a/src/source_print.sml +++ b/src/source_print.sml @@ -238,6 +238,9 @@ fun p_sgn_item (sgi, _) = string ":", space, p_sgn sgn] + | SgiInclude sgn => box [string "include", + space, + p_sgn sgn] and p_sgn (sgn, _) = case sgn of |