Merge pull request #5773 from tautschnig/forall-valid_objects

kroening · web-flow · commit ea5adcc02591 · 2021-01-20T08:41:38.000Z
Remove non-existent {f,F}orall_valid_objects from clang-format
diff --git a/.clang-format b/.clang-format
@@ -36,8 +36,6 @@ ForEachMacros: [
   'Forall_goto_functions',
   'forall_goto_program_instructions',
   'Forall_goto_program_instructions',
-  'forall_valid_objects',
-  'Forall_valid_objects',
   'forall_literals',
   'Forall_literals',
   'forall_operands',
