Remove latex todo

riscv · Jan 20, 2025 · e3cbfd9 · e3cbfd9
1 parent 7c1b9ce
commit e3cbfd9
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -70,4 +70,3 @@ add_custom_target(check DEPENDS generated_model_rv32d generated_model_rv64d)
 # TODO: Add isabelle target.
 # TODO: Add lem target.
 # TODO: Add hol4 target.
-# TODO: Add latex target.