Skip to content

A
abc
Commit 46175d04 by Alan Mishchenko
Options

Portability changes for gcc-6 suggested by Clifford.

parent 3cc4080c
Showing with 4 additions and 4 deletions
src/base/main/mainInit.c
......@@ -65,8 +65,8 @@ extern void Abc85_End( Abc_Frame_t * pAbc );
extern void Glucose_Init( Abc_Frame_t *pAbc );
extern void Glucose_End( Abc_Frame_t * pAbc );
#else
extern void "C" Glucose_Init( Abc_Frame_t *pAbc );
extern void "C" Glucose_End( Abc_Frame_t * pAbc );
extern "C" void Glucose_Init( Abc_Frame_t *pAbc );
extern "C" void Glucose_End( Abc_Frame_t * pAbc );
#endif
static Abc_FrameInitializer_t* s_InitializerStart = NULL;
......
src/sat/glucose/AbcGlucoseCmd.cpp
......@@ -30,8 +30,8 @@ ABC_NAMESPACE_HEADER_START
extern void Glucose_Init( Abc_Frame_t *pAbc );
extern void Glucose_End( Abc_Frame_t * pAbc );
#else
extern void "C" Glucose_Init( Abc_Frame_t *pAbc );
extern void "C" Glucose_End( Abc_Frame_t * pAbc );
extern "C" void Glucose_Init( Abc_Frame_t *pAbc );
extern "C" void Glucose_End( Abc_Frame_t * pAbc );
#endif
ABC_NAMESPACE_HEADER_END
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment