Changeset 3c702a in git for factory/FLINTconvert.h

Timestamp:

Feb 15, 2013, 7:48:01 AM (11 years ago)

Author:

Oleksandr Motsak <motsak@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

d1082186cb9684165b1a5fb6430edb79c9792979

Parents:

c899161843a4a7d48b2ef5b0ecd42411ee757d44

Message:

Public headers should not include private config.h

File:

• factory/FLINTconvert.h (modified) (1 diff)

factory/FLINTconvert.h

@@ -15 +15 @@
 #define FLINT_CONVERT_H
 
-#include <config.h>
+// #include "config.h"
 #include "canonicalform.h"
 #include "fac_util.h"