From: Mark Thom <markjordanthom@gmail.com>
Date: Thu, 14 Feb 2019 08:13:55 +0000 (-0700)
Subject: remove extraneous [ from dif.pl
X-Git-Tag: v0.8.110~256
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=2af6a00ff24288c09ce6e61e766924677c2bd1dd;p=scryer-prolog.git

remove extraneous [ from dif.pl
---

diff --git a/src/prolog/lib/dif.pl b/src/prolog/lib/dif.pl
index 5b6ba1c3..4bb44c0d 100644
--- a/src/prolog/lib/dif.pl
+++ b/src/prolog/lib/dif.pl
@@ -1,4 +1,4 @@
-[:- module(dif, [dif/2]).
+:- module(dif, [dif/2]).
 
 :- use_module(library(atts)).
 :- use_module(library(control), [(\=)/2]).