From 0e8a0822f1678b1804c757f8ef1e7ef8479feba3 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@hotmail.com>
Date: Fri, 3 Apr 2015 11:59:27 -0700
Subject: [PATCH] fix used_vars reported by Daniel J. H, issue #24

Signed-off-by: Nikolaj Bjorner <nbjorner@hotmail.com>
---
 src/ast/used_vars.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/ast/used_vars.cpp b/src/ast/used_vars.cpp
index 6353ad5fd..f33c5cb50 100644
--- a/src/ast/used_vars.cpp
+++ b/src/ast/used_vars.cpp
@@ -107,7 +107,7 @@ unsigned used_vars::get_num_vars() const {
     unsigned num = m_found_vars.size();
     for (unsigned i = 0; i < num; i++) {
         if (m_found_vars[i])
-            return r++;
+            r++;
     }
     return r;
 }