diff options
| author | Morgan Deters <mdeters@gmail.com> | 2011-04-01 21:35:50 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2011-04-01 21:35:50 +0000 |
| commit | 3b50c1d3c0c72c0a2e07dabf8206c62b0dd6803d (patch) | |
| tree | 466d234077b80f7be500c707e82d54f06f1b8e27 /src/prop | |
| parent | bce58d1d2a1070d0c1f3563b7318b8a68f031546 (diff) | |
minor bugfixes (fixes broken dynamic-library build from last night)
Diffstat (limited to 'src/prop')
| -rw-r--r-- | src/prop/cnf_stream.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/prop/cnf_stream.cpp b/src/prop/cnf_stream.cpp index 99cd26297..4253fafa3 100644 --- a/src/prop/cnf_stream.cpp +++ b/src/prop/cnf_stream.cpp @@ -147,7 +147,7 @@ SatLiteral CnfStream::convertAtom(TNode node) { SatLiteral CnfStream::getLiteral(TNode node) { TranslationCache::iterator find = d_translationCache.find(node); - Assert(find != d_translationCache.end(), "Literal not in the CNF Cache: ", node.toString().c_str()); + Assert(find != d_translationCache.end(), "Literal not in the CNF Cache: %s", node.toString().c_str()); SatLiteral literal = find->second.literal; Debug("cnf") << "CnfStream::getLiteral(" << node << ") => " << literal << std::endl; return literal; |