diff --git a/src/goto-programs/interpreter.cpp b/src/goto-programs/interpreter.cpp
index 7e0c74a0b6b..7adb966ad64 100644
--- a/src/goto-programs/interpreter.cpp
+++ b/src/goto-programs/interpreter.cpp
@@ -894,8 +894,7 @@ typet interpretert::concretize_type(const typet &type)
     }
     else
     {
-      error() << "Failed to concretize variable array"
-              << eom;
+      warning() << "Failed to concretize variable array" << eom;
     }
   }
   return type;
diff --git a/src/goto-programs/interpreter_evaluate.cpp b/src/goto-programs/interpreter_evaluate.cpp
index 12aca4b57b5..096066e368c 100644
--- a/src/goto-programs/interpreter_evaluate.cpp
+++ b/src/goto-programs/interpreter_evaluate.cpp
@@ -1054,7 +1054,7 @@ void interpretert::evaluate(
   {
     if(expr.type().id()==ID_signedbv)
     {
-      error() << "Infinite size arrays not supported" << eom;
+      warning() << "Infinite size arrays not supported" << eom;
       return;
     }
   }