1 files changed, 2 insertions, 0 deletions

diff --git a/.gitignore b/.gitignore
index 3ac7f5b0..87a7068d 100644
--- a/.gitignore
+++ b/.gitignore
@@ -45,6 +45,8 @@ Binaries/Core.dll
 Binaries/Core.pdb

 Binaries/Graph.dll

 Binaries/Graph.pdb

+Binaries/Model.dll

+Binaries/Model.pdb

 Binaries/Microsoft.Contracts.dll

 Binaries/Provers.Isabelle.dll

 Binaries/Provers.Isabelle.pdb