1 files changed, 0 insertions, 7 deletions
diff --git a/src/validator.cc b/src/validator.cc
index 8a71af05..0e76cd15 100644
--- a/src/validator.cc
+++ b/src/validator.cc
@@ -1482,13 +1482,6 @@ void Validator::CheckCommand(const Command* command) {
       // Ignore.
       break;
 
-    case CommandType::AssertReturnFunc: {
-      auto* cmd = cast<AssertReturnFuncCommand>(command);
-      const Action* action = cmd->action.get();
-      CheckAction(action);
-      break;
-    }
-
     case CommandType::AssertReturn: {
       auto* assert_return_command = cast<AssertReturnCommand>(command);
       const Action* action = assert_return_command->action.get();