diff options
author | Adam Chlipala <adamc@hcoop.net> | 2008-07-03 17:02:42 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2008-07-03 17:02:42 -0400 |
commit | 411808e8dced75f376c7a95bb79d989cde704fd9 (patch) | |
tree | 99774d5b0191f26a1d7f9ae73b91bcc6123aa0c9 /src/source_print.sig | |
parent | a4a7692d226262376d2cea2480033227f885cd7e (diff) |
XML tags with contents
Diffstat (limited to 'src/source_print.sig')
-rw-r--r-- | src/source_print.sig | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/source_print.sig b/src/source_print.sig index 72addfb7..2128aa3f 100644 --- a/src/source_print.sig +++ b/src/source_print.sig @@ -31,6 +31,7 @@ signature SOURCE_PRINT = sig val p_kind : Source.kind Print.printer val p_explicitness : Source.explicitness Print.printer val p_con : Source.con Print.printer + val p_exp : Source.exp Print.printer val p_decl : Source.decl Print.printer val p_sgn_item : Source.sgn_item Print.printer val p_file : Source.file Print.printer |