comparison src/cjr_print.sml @ 891:8f2159040bbb

More command-line options
author Adam Chlipala <adamc@hcoop.net>
date Sat, 18 Jul 2009 11:01:48 -0400
parents 9c1b7e46eed2
children 2faf558b2d05
comparison
equal deleted inserted replaced
890:034eeb099564 891:8f2159040bbb
2657 prepared = !prepped, 2657 prepared = !prepped,
2658 tables = !tables, 2658 tables = !tables,
2659 views = !views, 2659 views = !views,
2660 sequences = !sequences} 2660 sequences = !sequences}
2661 else 2661 else
2662 box [string "void uw_db_init(uw_context ctx) { };", 2662 box [string "void uw_client_init(void) { };",
2663 newline,
2664 string "void uw_db_init(uw_context ctx) { };",
2663 newline, 2665 newline,
2664 string "int uw_db_begin(uw_context ctx) { return 0; };", 2666 string "int uw_db_begin(uw_context ctx) { return 0; };",
2665 newline, 2667 newline,
2666 string "int uw_db_commit(uw_context ctx) { return 0; };", 2668 string "int uw_db_commit(uw_context ctx) { return 0; };",
2667 newline, 2669 newline,