--- layout: fc_discuss_archives title: Message 18 from Frama-C-discuss on September 2014 ---
Hello, 2014-09-07 12:56, Christoph Thielecke: > /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++. Best regards, david