diff --git a/.gitignore b/.gitignore index fdc00a4aeac54cd9499c45f1c488ccd8fff3766b..95e14ac9137ea54ed8ae44c284ec64ce72219762 100644 --- a/.gitignore +++ b/.gitignore @@ -3,4 +3,5 @@ build/ .gradle/ .settings/ .classpath -.project \ No newline at end of file +.project +probkodkod.log \ No newline at end of file