From 1415a5c98c207847761817e22dc19db0276504ac Mon Sep 17 00:00:00 2001
From: Mark Thom <markjordanthom@gmail.com>
Date: Wed, 25 Apr 2018 12:02:38 -0600
Subject: [PATCH] add other declarations properly

---
 src/prolog/toplevel.rs | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/prolog/toplevel.rs b/src/prolog/toplevel.rs
index a16d314b..f7c9ce3a 100644
--- 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())
             };
         }
-- 
2.54.0