diff --git a/src/runtime/mod.rs b/src/runtime/mod.rs
index b67ca1439c34d04faf9a69f230f6cd8240d9ff7f..142c00a4bf23e9f9d9e89b5f4a325f37ace80bde 100644
--- a/src/runtime/mod.rs
+++ b/src/runtime/mod.rs
@@ -6,7 +6,8 @@ pub(crate) mod communication;
 pub(crate) mod connector;
 pub(crate) mod endpoint;
 pub mod errors;
-mod predicate; // TODO later
+// mod predicate; // TODO later
+mod polyp;
 mod serde;
 pub(crate) mod setup;
 
@@ -234,7 +235,7 @@ impl Debug for SolutionStorage {
         f.pad("Solutions: [")?;
         for (subtree_id, &index) in self.subtree_id_to_index.iter() {
             let sols = &self.subtree_solutions[index];
-            f.write_fmt(format_args!("{:?} => {:?}, ", subtree_id, sols))?;
+            f.write_fmt(format_args!("{:?}: {:?}, ", subtree_id, sols))?;
         }
         f.pad("]")
     }