--- a/src/core/examples/command-line-example.cc	Mon Aug 18 12:36:07 2014 -0700
+++ b/src/core/examples/command-line-example.cc	Mon Aug 18 23:45:04 2014 +0200
@@ -98,7 +98,7 @@
   
     std::cout << std::setw (10)            << "anti:"
               << "\""
-              << info.initialValue->SerializeToString (info.checker)
+              << info.originalInitialValue->SerializeToString (info.checker)
               << "\""
               << std::endl;
   }