comparison src/cjr_print.sml @ 684:f0224c7f12bb

Expunging nullable fields
author Adam Chlipala <adamc@hcoop.net>
date Sun, 29 Mar 2009 14:13:50 -0400
parents 9a2c18dab11d
children a3ddf05fb3e3
comparison
equal deleted inserted replaced
683:9a2c18dab11d 684:f0224c7f12bb
2758 string "int uw_db_begin(uw_context ctx) { return 0; };", 2758 string "int uw_db_begin(uw_context ctx) { return 0; };",
2759 newline, 2759 newline,
2760 string "int uw_db_commit(uw_context ctx) { return 0; };", 2760 string "int uw_db_commit(uw_context ctx) { return 0; };",
2761 newline, 2761 newline,
2762 string "int uw_db_rollback(uw_context ctx) { return 0; };", 2762 string "int uw_db_rollback(uw_context ctx) { return 0; };",
2763 newline,
2764 string "void uw_expunger(uw_context ctx, uw_Basis_client cli) { };",
2763 newline]] 2765 newline]]
2764 end 2766 end
2765 2767
2766 fun p_sql env (ds, _) = 2768 fun p_sql env (ds, _) =
2767 let 2769 let