Update TEST.md

Wasm-DSL · Feb 25, 2024 · c2df053 · c2df053
1 parent 2cf124e
commit c2df053
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/spectec/test-latex/TEST.md b/spectec/test-latex/TEST.md
@@ -1,7 +1,7 @@
 # Test
 
 ```sh
-$ (../src/exe-watsup/main.exe test.watsup -o test.tex && cat test.tex)
+$ (../src/exe-watsup/main.exe test.watsup --latex)
 $$
 \begin{array}{@{}lcl@{}l@{}}
 {\mathrm{test}}_{{\mathit{sub}}_{{\mathsf{atom}}_{{22}}}}({\mathit{n}}_{{3}_{{\mathsf{atom}}_{{\mathit{y}}}}}) &=& 0 &  \\
@@ -28,6 +28,7 @@ $$
 \end{array}
 $$
 
+
 ```