Remove non-existent {f,F}orall_valid_objects from clang-format

tautschnig · tautschnig · commit 208d47ee3431 · 2021-01-19T23:14:10.000Z
This macro does not seem to exist in the code base anymore.
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',
