Skip to content

Commit

Permalink
(minor) fix test and java plugin problem with last commmit (again)
Browse files Browse the repository at this point in the history
  • Loading branch information
Gilles Chabert committed Jan 17, 2018
1 parent 17c7a51 commit c4c72be
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion plugins/java/src/ibex_Java.cpp.in
Original file line number Diff line number Diff line change
Expand Up @@ -137,7 +137,7 @@ public:

Vector eps_max(nb_var,POS_INFINITY);
solver = new Solver(*sys, *ctc, *bis, *stack, prec, eps_max);
solver->set_params(VarSet(sys->nb_var, _params, false);
solver->set_params(VarSet(sys->nb_var, params, false));
}

IntervalVector read_box(JNIEnv *env, const jdouble* d, int size) {
Expand Down

0 comments on commit c4c72be

Please sign in to comment.