Skip to content

Commit

Permalink
fix warning
Browse files Browse the repository at this point in the history
  • Loading branch information
sloriot committed Apr 2, 2024
1 parent 1529999 commit 8ef3ffa
Showing 1 changed file with 1 addition and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -331,7 +331,7 @@ constexpr const char* exact_nt_backend_string()
return "BOOST_BACKEND";
case LEDA_BACKEND:
return "LEDA_BACKEND";
case MP_FLOAT_BACKEND:
default:
return "MP_FLOAT_BACKEND";
}
}
Expand Down

0 comments on commit 8ef3ffa

Please sign in to comment.