Fix variable name in markdown table check script.

Signed-off-by: Markus Alexander Kuppe <github.com@lemmster.de>

Author: lemmy

.github/scripts/check_markdown_table.py

@@ -176,7 +176,7 @@ def from_json(path, spec):
 if any(different_apalache_flag):
     success = False
     print('ERROR: Apalache Model flags in README.md table differ from model records in manifest.json:')
-    for path, json, md in different_tlc_flag:
+    for path, json, md in different_apalache_flag:
         print(f'Spec {path} ' + ('incorrectly has' if md else 'is missing') + ' an Apalache Model flag in README.md table')
 
 if success: