Improvement. Output configuration flags in the same format they are set.

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

diff --git a/src/STPManager/UserDefinedFlags.h b/src/STPManager/UserDefinedFlags.h
index 1c7350be2a030da952174dcd24f28be5fa636263..179b85117871d79ba1672d615b6912ac0e9ad8f3 100644 (file)
--- a/src/STPManager/UserDefinedFlags.h
+++ b/src/STPManager/UserDefinedFlags.h
@@ -190,7 +190,7 @@ namespace BEEV
 
        if (stats_flag)
                if (alreadyOutput.insert(n).second)
-                       std::cout << n << ":"  << result << std::endl;
+                       std::cout << "--config_"<< n << "="  << result << std::endl;
        return result;
     }