1 files changed, 37 insertions, 0 deletions

diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/.gitignore b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/.gitignore
index 16afa8c0..527f3a0e 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/.gitignore
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/.gitignore
@@ -73,3 +73,40 @@
 /.Inv07.java._trace
 /.Inv10.java._trace
 /.X_inv15.java._trace
+/Inv03.java
+/Inv05.java
+/Inv06.java
+/X_inv03_eligAll.java
+/X_inv03_hasAll.java
+/X_inv05_inRange.java
+/Case_study_A.java
+/Inv07.java
+/Inv08.java
+/Inv10.java
+/Inv11.java
+/Inv12.java
+/Inv13.java
+/Inv15.java
+/Inv17.java
+/Inv20.java
+/Inv33.java
+/Inv34.java
+/Inv35.java
+/Inv47.java
+/Inv48.java
+/Inv49.java
+/X_inv08_inRange.java
+/X_inv08_noType.java
+/X_inv08_notEI.java
+/X_inv11_incNotOver100.java
+/X_inv11_incOver100.java
+/X_inv12_notNonRes.java
+/X_inv12_notZZ.java
+/X_inv13.java
+/X_inv15.java
+/X_inv47.java
+/X_inv48_3.java
+/X_inv48_Dis.java
+/X_inv48_notDis.java
+/X_inv49_1.java
+/X_inv49_2.java