From: trevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Date: Wed, 11 Aug 2010 01:27:26 +0000 (+0000)
Subject: Print out a not yet supported error.
X-Git-Url: https://git.unchartedbackwaters.co.uk/w/?a=commitdiff_plain;h=32244b7f5b3826ebbca0f70953eef3a639e22706;p=francis%2Fstp.git

Print out a not yet supported error.



git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@980 e59a4935-1847-0410-ae03-e826735625c1
---

diff --git a/src/to-sat/AIG/ToSATAIG.cpp b/src/to-sat/AIG/ToSATAIG.cpp
index 801f993..d79fe27 100644
--- a/src/to-sat/AIG/ToSATAIG.cpp
+++ b/src/to-sat/AIG/ToSATAIG.cpp
@@ -73,6 +73,9 @@ namespace BEEV
       if (bm->UserFlags.output_CNF_flag)
          Cnf_DataWriteIntoFile(cnfData, "output_0.cnf", 0);
 
+      if (bm->UserFlags.output_bench_flag)
+        cerr << "Converting to CNF via ABC's AIG package can't yet print out bench format" << endl;
+
       Cnf_ClearMemory();
       Cnf_DataFree(cnfData);