From df12163128073296c4d811fa67b02e37ceb20179 Mon Sep 17 00:00:00 2001 From: ArenBabikian Date: Tue, 5 Mar 2019 13:37:02 -0500 Subject: Implement type scope handling --- .../ca/mcgill/ecse/dslreasoner/vampire/test/.gitignore | 12 +----------- 1 file changed, 1 insertion(+), 11 deletions(-) (limited to 'Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/.gitignore') diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/.gitignore b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/.gitignore index 2760bac4..a16d5bbd 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/.gitignore +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/.gitignore @@ -1,12 +1,2 @@ -/.VampireTest.java._trace -/.SimpleRun.java._trace -/.DslTest.java._trace /.MedicalSystem.java._trace -/.DslTest.xtendbin -/.MedicalSystem.xtendbin -/.SimpleRun.xtendbin -/.VampireTest.xtendbin -/DslTest.java -/MedicalSystem.java -/VampireTest.java -/.FAMTest.java._trace +/.VampireTest.java._trace -- cgit v1.2.3-54-g00ecf