Ignoring states dump from TLC (#5811)

microsoft · Nov 3, 2023 · 1d52533 · 1d52533
1 parent aa1ed7b
commit 1d52533
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/tla/.gitignore b/tla/.gitignore
@@ -11,4 +11,5 @@ tools/
 .DS_Store
 *.dot
 *TTrace*.tla
-*TTrace*.bin
+*TTrace*.bin
+**/states.dump*