From: Mark Thom <markjordanthom@gmail.com>
Date: Tue, 6 Mar 2018 04:18:55 +0000 (-0700)
Subject: cleanup README
X-Git-Tag: v0.8.110~537
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=beeb246632052399e88115e2d3e0714273935373;p=scryer-prolog.git

cleanup README
---

diff --git a/README.md b/README.md
index 88d5e64e..e439be46 100644
--- a/README.md
+++ b/README.md
@@ -264,6 +264,7 @@ prolog> :{{
 local_member(X, Xs) :- member(X, Xs).
 }}:
 ```
+
 `use_module` directives can be qualified by adding a list of imports:
 
 ```
@@ -271,4 +272,4 @@ prolog> :- use_module(library(lists), [member/2]).
 ```
 
 A qualified `use_module` can be used to remove imports from the
-toplevel by giving it an empty import list.
+toplevel by calling it with an empty import list.