add Context.flush()
authoradam <adam@megacz.com>
Mon, 3 Nov 2008 10:15:38 +0000 (11:15 +0100)
committeradam <adam@megacz.com>
Mon, 3 Nov 2008 10:15:38 +0000 (11:15 +0100)
commitc6c403d31cdc8871e6bc1b19c86f9201ccda51f5
treeedc4c23925173a9c92582a22d4078ec3b340f789
parentacc7e48d4084929c01ef640e2e82ad9574857c32
add Context.flush()
src/edu/berkeley/fleet/ir/Context.java