From ba449aa9f485825db45bb0e41678a32497e81b07 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Thu, 7 Feb 2019 15:02:26 -0800
Subject: [PATCH] chore(library/compiler/llnf): fix compilation warning

---
 src/library/compiler/llnf.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/library/compiler/llnf.cpp b/src/library/compiler/llnf.cpp
index f8808df66f..8a13da4868 100644
--- a/src/library/compiler/llnf.cpp
+++ b/src/library/compiler/llnf.cpp
@@ -112,7 +112,7 @@ expr mk_llnf_reuse(unsigned cidx, unsigned num_usizes, unsigned num_bytes, bool
     return mk_constant(name(name(name(name(*g_reuse, cidx), num_usizes), num_bytes), updt_cidx));
 }
 bool is_llnf_reuse(expr const & e, unsigned & cidx, unsigned & num_usizes, unsigned & num_bytes, bool & updt_cidx) {
-    unsigned aux;
+    unsigned aux = 0;
     bool r = is_llnf_quaternary_primitive(e, *g_reuse, cidx, num_usizes, num_bytes, aux);
     updt_cidx = aux;
     return r;