Models: cleaning of the global caching mechanism

2015-08-04 10:06:52 -07:00
parent d88ff6b39b
commit df2d5e7d00
6 changed files with 53 additions and 34 deletions
--- a/lib/symbolic/execute.cpp
+++ b/lib/symbolic/execute.cpp
@@ -145,7 +145,7 @@ namespace isaac
  }

  /** @brief Executes a array_expression on the given models map*/
-  void execute(controller<array_expression> const & c, model_map_t & models)
+  void execute(controller<array_expression> const & c, models::map_type &models)
  {
    array_expression expression = c.x();
    driver::Context const & context = expression.context();