add other declarations properly
@@ -602,6 +602,9 @@ fn append_preds(preds: &mut Vec<PredicateClause>) -> TopLevel {
let tl = TopLevel::Declaration(Declaration::Module(actual_mod));
results.push(TopLevelPacket::Decl(tl, vec![]));
},
+ TopLevel::Declaration(decl) => {
+ results.push(TopLevelPacket::Decl(TopLevel::Declaration(decl), vec![]));
+ },
tl => preds.extend(tl.as_predicate().ok().unwrap().clauses().into_iter())
};
}
