diff options
| author | Klaus Kaempf <kkaempf@suse.de> | 2007-10-02 12:40:07 +0000 |
|---|---|---|
| committer | Klaus Kaempf <kkaempf@suse.de> | 2007-10-02 12:40:07 +0000 |
| commit | 8f8a9ed5192a6737d63364029cb05d91f1d0e399 (patch) | |
| tree | 287434efe18f662976f8dad334d489dd60ff6e88 /tools/source_write.h | |
| download | libsolv-8f8a9ed5192a6737d63364029cb05d91f1d0e399.tar.gz libsolv-8f8a9ed5192a6737d63364029cb05d91f1d0e399.tar.bz2 libsolv-8f8a9ed5192a6737d63364029cb05d91f1d0e399.zip | |
current state of 'sat-solver'
Diffstat (limited to 'tools/source_write.h')
| -rw-r--r-- | tools/source_write.h | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/tools/source_write.h b/tools/source_write.h new file mode 100644 index 0000000..3ab230f --- /dev/null +++ b/tools/source_write.h @@ -0,0 +1,16 @@ +/* + * source_write.h + * + */ + +#ifndef SOURCE_WRITE_H +#define SOURCE_WRITE_H + +#include <stdio.h> + +#include "pool.h" +#include "source.h" + +extern void pool_writesource(Pool *pool, Source *source, FILE *fp); + +#endif |