Frama-C Bug Tracking System

View Revisions: Note 6408 Back to Issue ]
Summary 0002253: File frama-c/libc/features.h should include definition of the macro __GNUC_PREREQ from file /usr/include/features.h


Copyright © 2000 - 2019 MantisBT Team
Powered by Mantis Bugtracker