Update README.md

README.md

@@ -10,7 +10,7 @@ Example of client-82.cpp for codeblocks-satisfier-nosetup-version2
 #include <satisfier>
 #include <iostream>
 
-int main (/*satisfier*/)
+int main (/* implementation-defined */)
 {
   Suppose_literal (K, true);
   Suppose_literal (M, true);