Mercurial > urweb
diff src/core_print.sig @ 732:5819fb63c93a
Effectness analysis
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 16 Apr 2009 15:29:39 -0400 |
parents | 230654093b51 |
children | fa2019a63ea4 |
line wrap: on
line diff
--- a/src/core_print.sig Thu Apr 16 14:49:25 2009 -0400 +++ b/src/core_print.sig Thu Apr 16 15:29:39 2009 -0400 @@ -34,7 +34,6 @@ val p_exp : CoreEnv.env -> Core.exp Print.printer val p_decl : CoreEnv.env -> Core.decl Print.printer val p_file : CoreEnv.env -> Core.file Print.printer - val p_export_kind : Core.export_kind Print.printer val debug : bool ref end