Change xbt_cfg_get_int -> simgrid::config::get_config<int>.

[simgrid.git] / src / instr / instr_config.cpp

diff --git a/src/instr/instr_config.cpp b/src/instr/instr_config.cpp
index e896000..37a1015 100644 (file)
--- a/src/instr/instr_config.cpp
+++ b/src/instr/instr_config.cpp
@@ -251,7 +251,7 @@ std::string TRACE_get_comment_file()
 
 int TRACE_precision ()
 {
 
 int TRACE_precision ()
 {

-  return xbt_cfg_get_int(OPT_TRACING_PRECISION);
+  return simgrid::config::get_config<int>(OPT_TRACING_PRECISION);

 }
 
 std::string TRACE_get_filename()
 }
 
 std::string TRACE_get_filename()