modify a warning line in satisfiability program.
[charm.git] / examples / charm++ / satisfiability / Solver.C
index 3ff027b3e87f7efa418249075f4bfe5669d906ec..3cdc12023b81bc5873d732776e62815369e68323 100644 (file)
@@ -287,10 +287,6 @@ Solver::Solver(SolverState* state_msg)
         next_state->level = state_msg->level+1;
        
 
-        int nextlevel_priority;
-        
-        int priority = =tate_msg->priority;
-
         int lower = state_msg->lower;
         int higher = state_msg->higher;
         int middle = (lower+higher)/2;