From fb985d0860f09bb9e98db66910a72869a2fd0ce8 Mon Sep 17 00:00:00 2001
From: Tommaso Pecorella <tommaso.pecorella@unifi.it>
Date: Mon, 18 Aug 2014 23:45:04 +0200
Subject: [PATCH] Show default attibute value in command line example - fix

---
 src/core/examples/command-line-example.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/core/examples/command-line-example.cc b/src/core/examples/command-line-example.cc
index 762bea9d2..f6bb3cd19 100644
--- a/src/core/examples/command-line-example.cc
+++ b/src/core/examples/command-line-example.cc
@@ -98,7 +98,7 @@ int main (int argc, char *argv[])
   
     std::cout << std::setw (10)            << "anti:"
               << "\""
-              << info.initialValue->SerializeToString (info.checker)
+              << info.originalInitialValue->SerializeToString (info.checker)
               << "\""
               << std::endl;
   }