diff --git a/meta/EWSB.m b/meta/EWSB.m
index 050073810..9c0d3f677 100644
--- a/meta/EWSB.m
+++ b/meta/EWSB.m
@@ -847,15 +847,17 @@
                  result = result <>
                           "if (is_finite) {\n" <>
                           IndentText[body] <>
+                          IndentText["model.get_problems().unflag_no_ewsb();\n"] <>
                           "} else {\n" <>
-                          IndentText["error = EWSB_solver::FAIL;\n"] <>
+                          IndentText["error = EWSB_solver::FAIL;\nmodel.get_problems().flag_no_ewsb();\n"] <>
                           "}";,
                  result = result <>
                           "if (is_finite) {\n" <>
                           IndentText[body] <>
                           IndentText[WrapLines[SetModelParametersFromEWSB[parametersFixedByEWSB, substitutions, struct]]] <>
+                          IndentText["model.get_problems().unflag_no_ewsb();\n"] <>
                           "} else {\n" <>
-                          IndentText["error = EWSB_solver::FAIL;\n"] <>
+                          IndentText["error = EWSB_solver::FAIL;\nmodel.get_problems().flag_no_ewsb();\n"] <>
                           "}";
                 ];
              ];