mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 20:18:18 +00:00
Code Activity

remove unused var

Browse source
This commit is contained in:
Nuno Lopes 2019-10-19 17:36:57 +01:00
parent 11736f078e
commit 423e084cda
1 changed files with 0 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
src/api/api_numeral.cpp
View file

@ -62,7 +62,6 @@ extern "C" {
} }
sort * _ty = to_sort(ty); sort * _ty = to_sort(ty);
bool is_float = mk_c(c)->fpautil().is_float(_ty); bool is_float = mk_c(c)->fpautil().is_float(_ty);
std::string fixed_num;
char const* m = n; char const* m = n;
while (*m) { while (*m) {
if (!(('0' <= *m && *m <= '9') || if (!(('0' <= *m && *m <= '9') ||