add other declarations properly

diff --git a/src/prolog/toplevel.rs b/src/prolog/toplevel.rs
index a16d314b7126ffb3c3b0fb5a6f479bdb3c2c0133..f7c9ce3a53e8ece497dff3c013acf21eda2b7153 100644 (file)
--- a/src/prolog/toplevel.rs
+++ b/src/prolog/toplevel.rs
@@ -602,6 +602,9 @@ impl<R: Read> TopLevelWorker<R> {
                     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())
             };
         }