From: Mark Thom <markjordanthom@gmail.com>
Date: Wed, 25 Apr 2018 18:02:38 +0000 (-0600)
Subject: add other declarations properly
X-Git-Tag: v0.8.110~485^2~1
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=1415a5c98c207847761817e22dc19db0276504ac;p=scryer-prolog.git

add other declarations properly
---

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())
             };
         }