diff options
| -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 { |