From 8564d67efdbe745f43563a67d537506899fc72c6 Mon Sep 17 00:00:00 2001
From: Romain Goyet <romain.goyet@numworks.com>
Date: Wed, 3 May 2017 17:06:12 +0200
Subject: [PATCH] [ion] Fix tools

Change-Id: I97b3770993adfd1b98b2eee24f9d3005842d8093
---
 ion/src/shared/tools/event_generator.cpp | 2 +-
 ion/src/shared/tools/event_printer.cpp   | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/ion/src/shared/tools/event_generator.cpp b/ion/src/shared/tools/event_generator.cpp
index 7bbf5c3e9..6b1108206 100644
--- a/ion/src/shared/tools/event_generator.cpp
+++ b/ion/src/shared/tools/event_generator.cpp
@@ -11,7 +11,7 @@ void writeEventsToFile(std::ofstream & file, int numberOfEvents, std::mt19937 &
   while (i > 0) {
     int prEventId = distribution(rng);
     Ion::Events::Event e(prEventId);
-    if (e.isValid() && e != Ion::Events::Termination) {
+    if (e.isDefined() && e != Ion::Events::Termination) {
       i--;
       file << (unsigned char)(prEventId);
     }
diff --git a/ion/src/shared/tools/event_printer.cpp b/ion/src/shared/tools/event_printer.cpp
index eed6f7a8d..803769fb3 100644
--- a/ion/src/shared/tools/event_printer.cpp
+++ b/ion/src/shared/tools/event_printer.cpp
@@ -6,7 +6,7 @@ int main(int argc, char * argv[]) {
   unsigned char c = 0;
   while (std::cin >> c) {
     Ion::Events::Event event(c);
-    if (event.isValid()) {
+    if (event.isDefined()) {
       if (event.name() == nullptr) {
         std::cerr << "*** UNNAMED(" << (int)c << ") ***" << std::endl;
       } else {