diff options
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.xtend')
-rw-r--r-- | Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.xtend | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.xtend b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.xtend index a9314376..ef2e0c2f 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.xtend +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.xtend | |||
@@ -19,6 +19,7 @@ class FAMTest { | |||
19 | val reg = Resource.Factory.Registry.INSTANCE | 19 | val reg = Resource.Factory.Registry.INSTANCE |
20 | val map = reg.extensionToFactoryMap | 20 | val map = reg.extensionToFactoryMap |
21 | map.put("logicproblem", new XMIResourceFactoryImpl) | 21 | map.put("logicproblem", new XMIResourceFactoryImpl) |
22 | |||
22 | 23 | ||
23 | println("Input and output workspaces are created") | 24 | println("Input and output workspaces are created") |
24 | 25 | ||