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 801f9934a1d0ba502cde554cff09a65f302a8e6b..d79fe27e04fbe4ac04b60f17157de1bd60d50341 100644 (file)
--- 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);