From 0cc04dad1166cb1b912cc2a64cc7ce3256372705 Mon Sep 17 00:00:00 2001
From: Martin Suda <martin.suda@cvut.cz>
Date: Wed, 8 Jan 2025 10:48:11 +0100
Subject: [PATCH] cover the INSTRUCTION_LIMIT case

---
 Shell/Statistics.cpp | 3 +++
 1 file changed, 3 insertions(+)

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;