diff options
| author | aiju <devnull@localhost> | 2018-03-18 01:15:07 +0000 |
|---|---|---|
| committer | aiju <devnull@localhost> | 2018-03-18 01:15:07 +0000 |
| commit | 9f18b0f388a38a35ea8920fe3e98c7f8e3a41cf2 (patch) | |
| tree | a9cebbf768e0f81e03ac83e89759831709877d7b | |
| parent | c3c7429dc264396c96a6d56831357eeb54781097 (diff) | |
add #pragma incomplete to sat.h
| -rw-r--r-- | sys/include/sat.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/sys/include/sat.h b/sys/include/sat.h index ec3f86448..0fd84fcd3 100644 --- a/sys/include/sat.h +++ b/sys/include/sat.h @@ -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 { |