modify a warning line in satisfiability program.
authorYanhua YanhuaSunLaptop <yanhuasun@vpn3-14468.near.uiuc.edu>
Mon, 15 Mar 2010 17:39:15 +0000 (12:39 -0500)
committerYanhua YanhuaSunLaptop <yanhuasun@vpn3-14468.near.uiuc.edu>
Mon, 15 Mar 2010 17:39:15 +0000 (12:39 -0500)
commit9dba5a731e919235a6ca919c9419d88d2789ce9f
tree3523c7f72945d5a5e89fe862c2981d47e4e31ae5
parent05fcc17e89d3c8e7453d0df0ed3d547b9b764903
modify a warning line in satisfiability program.
examples/charm++/satisfiability/Solver.C