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()
+int main (/*satisfier*/)
 {
   Suppose_literal (K, true);
   Suppose_literal (M, true);