rinning

1 files changed, 2 insertions, 2 deletions

diff --git a/src/chillmodule.cc b/src/chillmodule.cc
index 5e78be3..591b77e 100644
--- a/src/chillmodule.cc
+++ b/src/chillmodule.cc
@@ -332,13 +332,13 @@ static void add_known(std::string cond_expr) {
     GEQ_Handle h = f_root->add_GEQ();
     for (std::map<std::string, int>::iterator it = (*cond)[j].begin(); it != (*cond)[j].end(); it++) {
       try {
-        int dim = from_string<int>(it->first);
+        int dim = std::stoi(it->first);
         if (dim == 0)
           h.update_const(it->second);
         else
           throw std::invalid_argument("only symbolic variables are allowed in known condition");
       }
-      catch (std::ios::failure e) {
+      catch (std::invalid_argument &e) {
         Free_Var_Decl *g = NULL;
         for (unsigned i = 0; i < myloop->freevar.size(); i++) {
           std::string name = myloop->freevar[i]->base_name();