From 423e084cda3c58b931bee7034e68b58516512106 Mon Sep 17 00:00:00 2001
From: Nuno Lopes <nlopes@microsoft.com>
Date: Sat, 19 Oct 2019 17:36:57 +0100
Subject: [PATCH] remove unused var

---
 src/api/api_numeral.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/api/api_numeral.cpp b/src/api/api_numeral.cpp
index 372840b9e..837e1dc24 100644
--- 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') ||