1 files changed, 1 insertions, 1 deletions

diff --git a/todo b/todo
index f65080e6..dbd81ab9 100644
--- a/todo
+++ b/todo
@@ -936,4 +936,4 @@ Output written on ProofGeneral.pdf (2 pages, 54702 bytes).
 	- ideas about proof engineering cf software engineering
 	- research on ways of conducting a formalization, cf
 	  ways of writing a program.  Common idioms that PG could
-	  help with.
\ No newline at end of file
+	  help with.