From a6ac842242bb5be7334d358584fd0bfec6a89247 Mon Sep 17 00:00:00 2001 From: ArenBabikian Date: Wed, 11 Sep 2019 15:34:03 -0400 Subject: VAMPIRE: fix model generation --- .../dslreasoner/vampire/icse/.YakinduTest.xtendbin | Bin 7055 -> 6883 bytes 1 file changed, 0 insertions(+), 0 deletions(-) (limited to 'Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.YakinduTest.xtendbin') diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.YakinduTest.xtendbin b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.YakinduTest.xtendbin index 73b1182c..3dcefc79 100644 Binary files a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.YakinduTest.xtendbin and b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.YakinduTest.xtendbin differ -- cgit v1.2.3-54-g00ecf