Fix error printing
authorJose A. Lopes <jabolopes@google.com>
Fri, 22 Nov 2013 13:44:02 +0000 (14:44 +0100)
committerJose A. Lopes <jabolopes@google.com>
Wed, 27 Nov 2013 14:52:28 +0000 (15:52 +0100)
Fixes issue 616.

Signed-off-by: Jose A. Lopes <jabolopes@google.com>
Reviewed-by: Michele Tartara <mtartara@google.com>


No differences found