--- layout: fc_discuss_archives title: Message 19 from Frama-C-discuss on September 2014 ---
Hello David, > > /usr/include/x86_64-linux-gnu/c++/4.8/bits/c++config.h:184:[kernel] user error: syntax error > > > > By looking into /usr/include/x86_64-linux-gnu/c++/4.8/bits/c++config.h line 184 (and follow) show: > > > > 184 namespace std > [...] > > > > What is the problem with frama-c here? > > It is C++ code ("namespace"). Frama-C does not handle (yet) C++. :( When we can expect that it is supporting c++? That would be a big step. With best regards Christoph