From: Mark Thom <mark.thom@unb.ca>
Date: Tue, 3 Sep 2019 14:10:51 +0000 (-0400)
Subject: slight formatting changes
X-Git-Tag: v0.8.110~51
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=cefcf916c37d6df79f72af8f91e464bf708d047c;p=scryer-prolog.git

slight formatting changes
---

diff --git a/src/prolog/machine/compile.rs b/src/prolog/machine/compile.rs
index 33d05cbf..3ee20698 100644
--- a/src/prolog/machine/compile.rs
+++ b/src/prolog/machine/compile.rs
@@ -91,7 +91,7 @@ fn load_module_from_file(wam: &mut Machine, filename: &str) -> Result<ClauseName
     };
 
     match compile_work_impl(&mut compiler, wam, indices, results) {
-        EvalSession::Error(e) => return Err(e),
+        EvalSession::Error(e) => Err(e),
         _ => Ok(module_name)
     }
 }
@@ -595,8 +595,7 @@ impl ListingCompiler {
                     -> Result<(), SessionError>
     {
         match decl {
-            Declaration::EndOfFile =>
-                return Ok(()),
+            Declaration::EndOfFile => Ok(()),
             Declaration::Hook(hook, clause, queue) => {
                 let key = (hook.name(), hook.arity());
                 let (len, queue_len) = self.add_term_dir_terms(hook, &mut wam.code_repo,