remove unused var

Z3Prover · Oct 19, 2019 · 423e084 · 423e084
1 parent 11736f0
commit 423e084
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/api/api_numeral.cpp b/src/api/api_numeral.cpp
@@ -62,7 +62,6 @@ extern "C" {
         }
         sort * _ty = to_sort(ty);
         bool is_float = mk_c(c)->fpautil().is_float(_ty);
-        std::string fixed_num;
         char const* m = n;
         while (*m) {
             if (!(('0' <= *m && *m <= '9') ||