From b7ed3353ba34dd837bfc15f7e48c30a2cdc7ce75 Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Wed, 22 May 2019 20:38:53 -0400 Subject: MDEOptimiser implementation of CPS benchmark --- Domains/hu.bme.mit.inf.dslreasoner.domains.cps/.classpath | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.cps/.classpath') diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/.classpath b/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/.classpath index 8129e44b..faa51b1d 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/.classpath +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/.classpath @@ -1,10 +1,15 @@ - - + + + + + + + -- cgit v1.2.3-70-g09d2