From 3a5aebd1d32c8cd889b582dde4277a3e0fb11d67 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 11 Jul 2018 08:52:57 -0700
Subject: [PATCH] tidy model generator

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/smt/theory_datatype.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/smt/theory_datatype.cpp b/src/smt/theory_datatype.cpp
index c3befced6..049555297 100644
--- a/src/smt/theory_datatype.cpp
+++ b/src/smt/theory_datatype.cpp
@@ -636,7 +636,6 @@ namespace smt {
         void add_dependency(enode * n) { m_dependencies.push_back(model_value_dependency(n)); }
         ~datatype_value_proc() override {}
         void get_dependencies(buffer<model_value_dependency> & result) override {
-            for (model_value_dependency& d : m_dependencies) { }
             result.append(m_dependencies.size(), m_dependencies.c_ptr());
         }
         app * mk_value(model_generator & mg, ptr_vector<expr> & values) override {