From ee320fa0250c792a7c82baf0f50c25a2a2aa28ea Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 24 Oct 2017 13:32:40 -0700
Subject: [PATCH] fix build errors

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/util/container_util.h | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/util/container_util.h b/src/util/container_util.h
index 3b287ad51..f921b7b1d 100644
--- a/src/util/container_util.h
+++ b/src/util/container_util.h
@@ -19,7 +19,7 @@ Revision History:
 
 --*/
 
-#ifndef CONTAINUR_UTIL_H
+#ifndef CONTAINUR_UTIL_H_
 #define CONTAINER_UTIL_H_
 
 // -----------------------------------
@@ -102,7 +102,8 @@ void print_map(const T & cont, std::ostream & out) {
 
 template<class It, class V> 
 unsigned find_index(const It & begin, const It & end, const V & val) {
-    for (unsigned idx = 0, It it = begin; it != end; it++, idx++) {
+    It it = begin;
+    for (unsigned idx = 0; it != end; it++, idx++) {
         if (*it == val) {
             return idx;
         }