diff options
author | Adam Chlipala <adamc@hcoop.net> | 2008-06-22 11:04:10 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2008-06-22 11:04:10 -0400 |
commit | 2500639bb374dc42be1a82bb10b0437cbba49ad1 (patch) | |
tree | 57732a378b045f88dbd16acda97a81e150e45707 /src/source_print.sig | |
parent | ebf05a538b3de96189fefaabb68613e58a2f9f51 (diff) |
Parsing signature files
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 c21d328a..72addfb7 100644 --- a/src/source_print.sig +++ b/src/source_print.sig @@ -32,5 +32,6 @@ signature SOURCE_PRINT = sig val p_explicitness : Source.explicitness Print.printer val p_con : Source.con 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 end |