From 5948013b1b04d8529bce366c0c7b87e1d88a1827 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 18 Nov 2015 18:56:54 -0800
Subject: [PATCH] clear label buffer

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/opt/opt_solver.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/opt/opt_solver.cpp b/src/opt/opt_solver.cpp
index 8652ab7fd..d7e3c8590 100644
--- a/src/opt/opt_solver.cpp
+++ b/src/opt/opt_solver.cpp
@@ -282,6 +282,7 @@ namespace opt {
     }
     
     void opt_solver::get_labels(svector<symbol> & r) {
+        r.reset();
         buffer<symbol> tmp;
         m_context.get_relevant_labels(0, tmp);
         r.append(tmp.size(), tmp.c_ptr());