requote: output example id when requoting fails

stanford-oval · Feb 10, 2022 · 3f2a2fd · 3f2a2fd
1 parent 5940276
commit 3f2a2fd
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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('**************');