From 3f2a2fd25f3390ed785130f6f74c24122870f206 Mon Sep 17 00:00:00 2001
From: mehrad <mehrad@stanford.edu>
Date: Thu, 3 Feb 2022 18:03:39 -0800
Subject: [PATCH] requote: output example id when requoting fails

---
 tool/requote.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tool/requote.js b/tool/requote.js
index 50ce23ad6..32087db07 100644
--- a/tool/requote.js
+++ b/tool/requote.js
@@ -516,6 +516,7 @@ export async function execute(args) {
                     console.error('**************');
                     console.error('Failed to requote');
                     console.error(String(e));
+                    console.error(ex.id);
                     console.error(ex.preprocessed);
                     console.error(ex.target_code);
                     console.error('**************');