diff src/cjr_print.sml @ 1164:8679ba87cf3c

sigfile directive
author Adam Chlipala <adamc@hcoop.net>
date Thu, 11 Feb 2010 09:10:01 -0500
parents 01b6c7144a44
children 69f1d39d3f2d
line wrap: on
line diff
--- a/src/cjr_print.sml	Tue Feb 09 20:08:59 2010 -0500
+++ b/src/cjr_print.sml	Thu Feb 11 09:10:01 2010 -0500
@@ -2805,6 +2805,8 @@
              newline,
              newline,
 
+             #code (Settings.currentProtocol ()) (),
+
              if hasDb then
                  #init (Settings.currentDbms ()) {dbstring = !dbstring,
                                                   prepared = !prepped,