cli: respect format target when rendering fake literate

aya-prover · Feb 21, 2024 · 286e718 · 286e718
1 parent bed607f
commit 286e718
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/cli-console/src/main/java/org/aya/cli/console/Main.java b/cli-console/src/main/java/org/aya/cli/console/Main.java
@@ -71,7 +71,7 @@ private int doFakeLiterate() throws IOException {
       new FlclParser(reporter, file).computeAst());
     // Garbage code
     var setup = info.backendOpts(false);
-    var output = renderOptions.render(RenderOptions.OutputTarget.LaTeX, doc, setup);
+    var output = renderOptions.render(prettyFormat.target, doc, setup);
     if (outputPath != null) FileUtil.writeString(outputPath, output);
     else System.out.println(output);
     return 0;