remove extraneous [ from dif.pl

diff --git a/src/prolog/lib/dif.pl b/src/prolog/lib/dif.pl
index 5b6ba1c3605d3d114e98453cc3acdc8a6af03249..4bb44c0d26f0d957941e97f87319d33057d3d8f1 100644 (file)
--- 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]).