cheshire

diff --git a/src/org/sosy_lab/common/configuration/OptionCollector.java b/src/org/sosy_lab/common/configuration/OptionCollector.java
index f189adf..d4bb029 100644
--- a/src/org/sosy_lab/common/configuration/OptionCollector.java
+++ b/src/org/sosy_lab/common/configuration/OptionCollector.java
@@ -188,18 +188,40 @@ public class OptionCollector {
     try {
       return Iterators.forEnumeration(classLoader.getResources(""));
     } catch (IOException e) {
-      System.err.println("Could not get recources of classloader.");
+      System.err.println("Could not get resources of classloader.");

cheshire

commit 267746f2542b87447abd2b20f4fc3a658bd41a2a
Author: George Karpenkov <george@metaworld.ru>
Date:   Mon Sep 29 21:24:20 2014 +0200

    New interface for CompositeCPA, for easier
    strengthening.

diff --git a/src/org/sosy_lab/cpachecker/core/interfaces/ICompositeTransferRelation.java b/src/org/sosy_lab/cpachecker/core/interfaces/ICompositeTransferRelation.java
new file mode 100644
index 0000000..48d4fda

cheshire

    Configuration config = Configuration.defaultConfiguration();


    Z3FormulaManager mgr = Z3FormulaManager.create(null, config);

    // TODO: without type casts?..
    Z3RationalFormulaManager rfmgr =
        (Z3RationalFormulaManager) mgr.getRationalFormulaManager();

    Z3TheoremProver prover = new Z3TheoremProver(mgr);