small refactoring

Author: ckrause

src/eval/evaluator.cpp

@@ -193,15 +193,15 @@ std::pair<status_t, steps_t> Evaluator::check(const Program &p,
           return result;
         }
       }
-      // check the result if the evaluation was successful
-      if (result.first == status_t::OK && out != expected_seq[i]) {
-        if (settings.print_as_b_file) {
-          printb(index, out.to_string() + " -> expected " +
-                            expected_seq[i].to_string());
-        }
-        result.first = status_t::ERROR;
-        return result;
+    }
+    // check the result if the evaluation was successful
+    if (result.first == status_t::OK && out != expected_seq[i]) {
+      if (settings.print_as_b_file) {
+        printb(index,
+               out.to_string() + " -> expected " + expected_seq[i].to_string());
       }
+      result.first = status_t::ERROR;
+      return result;
     }
     // check the range
     if (check_range && !range.check(expected_seq[i])) {