xfnw/plan9fox
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

add #pragma incomplete to sat.h

Browse source
This commit is contained in:
aiju 2018-03-18 01:15:07 +00:00
parent c3c7429dc2
commit 9f18b0f388
1 changed files with 4 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
sys/include/sat.h
View file

@ -7,6 +7,10 @@ typedef struct SATBlock SATBlock;
typedef struct SATVar SATVar;
typedef struct SATLit SATLit;
typedef struct SATConflict SATConflict;
#pragma incomplete SATClause
#pragma incomplete SATVar
#pragma incomplete SATLit
#pragma incomplete SATConflict
/* user adjustable parameters */
struct SATParam {