From 2af6a00ff24288c09ce6e61e766924677c2bd1dd Mon Sep 17 00:00:00 2001
From: Mark Thom <markjordanthom@gmail.com>
Date: Thu, 14 Feb 2019 01:13:55 -0700
Subject: [PATCH] remove extraneous [ from dif.pl

---
 src/prolog/lib/dif.pl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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]).
-- 
2.54.0