diff --git a/Shell/Statistics.cpp b/Shell/Statistics.cpp
index 50b3e8433..1a718009e 100644
--- a/Shell/Statistics.cpp
+++ b/Shell/Statistics.cpp
@@ -233,6 +233,9 @@ void Statistics::print(std::ostream& out)
   case Statistics::TIME_LIMIT:
     out << "Time limit";
     break;
+  case Statistics::INSTRUCTION_LIMIT:
+    out << "Instruction limit";
+    break;
   case Statistics::MEMORY_LIMIT:
     out << "Memory limit";
     break;