From b7a50e256d0ac6ec120050173b37f34d434ef325 Mon Sep 17 00:00:00 2001
From: Tuowen Zhao <ztuowen@gmail.com>
Date: Wed, 5 Oct 2016 22:47:11 -0600
Subject: build for ubuntu

---
 src/transformations/loop.cc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/transformations')

diff --git a/src/transformations/loop.cc b/src/transformations/loop.cc
index 3e040fd..5b1b80b 100644
--- a/src/transformations/loop.cc
+++ b/src/transformations/loop.cc
@@ -2364,12 +2364,12 @@ void Loop::apply_xform(std::set<int> &active) {
               uninterpreted_symbols[*i].insert(
                   std::pair<std::string,
                       std::vector<omega::CG_outputRepr *> >(
-                      v->get_global_var()->base_name(),
+                      (const char*)(v->get_global_var()->base_name()),
                       reprs));
               uninterpreted_symbols_stringrepr[*i].insert(
                   std::pair<std::string,
                       std::vector<omega::CG_outputRepr *> >(
-                      v->get_global_var()->base_name(),
+                      (const char*)(v->get_global_var()->base_name()),
                       reprs2));
             }
           }
-- 
cgit v1.2.3-70-g09d2