1 files changed, 1 insertions, 1 deletions
diff --git a/.hgignore b/.hgignore
index 95b7d862..ecf4ed7b 100644
--- a/.hgignore
+++ b/.hgignore
@@ -12,4 +12,4 @@ syntax: glob
 *.dll
 *.tmp
 *.tmp.dfy
-dafny_all_filesThat_Change.txt
+Source/DafnyExtension/DafnyRuntime.cs